Skip to content

Releases: gallais/generic-syntax

CoCoDo release

29 Mar 09:05
@gallais gallais
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.
Compare
Choose a tag to compare
CoCoDo release Latest
Latest

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