POPL 2017 Final Archival Version (sums branch)

Will be archived at http://www.cs.cmu.edu/~comar/hazelnut-popl17.

POPL 2017 Final Archival Version (master branch)

Will be archived at http://www.cs.cmu.edu/~comar/hazelnut-popl17/.

POPL 2017 Artifact Evaluation submission (sums branch)

Frozen version of the repository for POPL 2017 Artifact Evaluation (sums branch)

POPL 2017 Artifact Evaluation submission

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.

test

0.9

per closure of #11