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

v2.3
454d18c
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
454d18c
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 08:29

v2.3

Assets 2