edwinb/Idris-dev — pull request #265 by JanBessai (2013-04-01 21:24:59+00:00)
Title: Parsing for Big Integer constants fixed

Fixes issue #253