jyp/nano-Agda — pull request #2 by dirku (2012-08-30 16:38:44+00:00)
Title: A patch to support GHC 7.4 + current Hackage packages, too

I've added support to nanoAgda to build with GHC 7.4 and updated the dependencies to the current versions on Hackage.