ziman/lightyear — pull request #9 by timjb (2014-01-02 01:52:15+00:00)
Title: JSON example

Implemented a basic JSON parser. This is an interesting example because it involves mutually recursive parsers. Apparently one needs to wrap the recursive call with `lazy : a -> a`. Otherwise the binary produced by the Idris compiler eats a lot of memory and fails.