Release v2.3 · agda/agda-stdlib-meta · GitHub

v2.3
d80dc70
Verified

This tag was signed with the committer’s verified signature.

omelkonian Orestis Melkonian

SSH Key Fingerprint: FOvx/6lkK/MScIf0g6mOX5Tia3NTchFpULnFqX83oTs
Verified
Learn about vigilant mode
Compare

Choose a tag to compare

Loading

View all tags

v2.3

v2.3
d80dc70
Compare

Choose a tag to compare

Loading

View all tags
Verified

This tag was signed with the committer’s verified signature.

omelkonian Orestis Melkonian

SSH Key Fingerprint: FOvx/6lkK/MScIf0g6mOX5Tia3NTchFpULnFqX83oTs
Verified
Learn about vigilant mode

omelkonian tagged this 05 Aug 10:17

v2.3

Assets 2