idris-lang/Idris-dev — pull request #807 by ahmadsalim (2014-01-27 17:16:51+00:00)
Title: Parser commits earlier for many literal forms.

Fixes idris-lang/Idris-dev#800.