inc-lc/ilc-agda — pull request #2 by Toxaris (2014-06-17 19:53:27+00:00)
Title: Support Agda 2.4

I switched to Agda 2.4.0, and there was one problem with the ilc-agda codebase, which I managed to fix.