idris-lang/Idris-dev — pull request #712 by LeifW (2013-12-09 06:33:08+00:00)
Title: Allow newer versions of parsers and trifecta.

I've been running locally with the latest versions of these libs. No one
has died, false has not been proven (yet), and the tests all pass.