edwinb/Idris-dev — pull request #52 by raichoo (2012-09-26 17:45:48+00:00)
Title: initial parser cleanup

removed dependencies on parsec compatibility layer.
made most hlint suggestions pass
factored out some functions