idris-lang/Idris-dev — pull request #1305 by Heather (2014-06-10 04:47:57+00:00)
Title: Unmask last parsers

I don't know why they were masked