Skip to content

CoCoDo release

Latest
Latest
Compare
Choose a tag to compare
@gallais gallais released this 29 Mar 09:05
· 290 commits to master since this release
v0.2
b6aeba6
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.

I guess v0.1 was ICFP even though we didn't formally make a release on github.
This has been tested with:

  • Agda 2.5.4.2
  • Stdlib 0.17
Assets 2
Loading