idris-lang/Idris-dev — pull request #637 by ahmadsalim (2013-11-19 16:53:11+00:00)
Title: Parser cleanup. 

Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependencies