Skip to content

v2.2

Choose a tag to compare

View all tags
@MatthewDaggitt MatthewDaggitt released this 15 Jan 01:52
· 168 commits to master since this release
v2.2
6cd04e4 
Agda standard library version 2.2
Assets 2
Loading