Skip to content

v2.5.0

Latest
Compare
Choose a tag to compare
@wenkokke wenkokke released this 19 Oct 15:21
· 1 commit to main since this release

What's Changed

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