Skip to content

POPL 2017 Artifact Evaluation submission
Compare
Choose a tag to compare
@cyrus- cyrus- released this 11 Oct 03:43
· 15 commits to master since this release
artifact-popl17
416e5d8

Frozen version of the repository for POPL 2017 Artifact Evaluation (master branch). The sums branch is available at: https://github.com/hazelgrove/agda-popl17/releases/tag/artifact-popl17-sums.

Assets 2
Loading