Skip to content

v2.4.0

Compare
Choose a tag to compare
@wenkokke wenkokke released this 22 Aug 18:12
· 4 commits to main since this release

What's Changed

  • Support Agda v2.7.0
  • Support agda-stdlib v2.1