Skip to content

Latest commit

 

History

History
22 lines (13 loc) · 851 Bytes

README.md

File metadata and controls

22 lines (13 loc) · 851 Bytes

agdarsec - Total Parser Combinators in Agda

The motivation and design decisions behind agdarsec are detailed in:

Compilation

Travis Status

To typecheck and compile this project you will need:

  • Agda version 2.6.2
  • Agda's standard library (version 1.7)

Ports

I have ported this library to other dependently-typed languages: