pigworker/Pivotal — pull request #1 by Blaisorblade (2014-06-22 10:54:07+00:00)
Title: Port to Agda 2.4.0

Fix the only typechecking error with Agda 2.4.0. I did not retest all the code inside `spec` environments though.