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.
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.