edwinb/Idris-dev — pull request #380 by Melvar (2013-07-07 15:50:04+00:00)
Title: Clean up SimpleParser

Added `instance Alternative`, reformatted, refactored, making use of `Applicative` and idiom brackets, and fixed the example parser, I think.