idris-lang/Idris-dev — pull request #539 by david-christiansen (2013-10-16 12:50:58+00:00)
Title: ErrorT

The Idris monad now includes an explicit ErrorT to force the types of errors. This is a preliminary step to error reflection.