The motivation and design decisions behind agdarsec are detailled in this paper.
To typecheck and compile this project you will need:
- Agda version 2.5.2
- Agda's standard library Version 0.13
I have ported this library to other dependently-typed languages:
- parseque is the port to Coq
- and idris-tparsec the one for Idris