idris-lang/Idris-dev — pull request #595 by SimonJF (2013-11-06 14:11:37+00:00)
Title: Make it simpler to build contrib libs in Setup.hs

Additionally, made a package for simpleparser