Skip to content

First release
Compare
Choose a tag to compare
@gallais gallais released this 21 Apr 12:11
· 49 commits to master since this release
v0.1
4414357

This version of the library has been tested with:

  • Agda version 2.5.2
  • Agda's standard library version 0.13.
Assets 2