idris-lang/Idris-dev — pull request #764 by puffnfresh (2014-01-04 05:31:03+00:00)
Title: Fix SimpleParser ambiguous type error

Is there a better way of doing this?