Skip to content

Now with level polymorphism!
Compare
Choose a tag to compare
@gallais gallais released this 29 Nov 22:08
· 13 commits to master since this release
v0.4.0
51c49bf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Tested with:

  • Agda version 2.6.1
  • Agda's standard library Version 1.4
Assets 2
Loading