A small parser-combinator library in Idris, adapted from the paper, "Monadic Parsing in Haskell" and Chapter 13 of the book, "Programming in Haskell" by Graham Hutton.
Build the library using:
$ make build
and install it using:
$ make install
To clean:
$ make clean
The samples directory contains some sample clients using the library. For these examples, you need to invoke Idris with the package passed in (after installing the package):
$ idris2 -p oyster <ClientName>
See LICENSE.md.