Skip to content

Version 1.7.3

Choose a tag to compare

View all tags
@MatthewDaggitt MatthewDaggitt released this 13 Oct 01:07
· 804 commits to master since this release
v1.7.3
0817da6

A minor release to ensure compatibility with Agda 2.6.4

Assets 2
Loading