/agdarsec

Total Parser Combinators in Agda
  1. Agda 100.0%
Agda
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
doc
src
.gitignore
LICENSE
README.md
agdarsec.agda-lib

README.md

agdarsec - Total Parser Combinators in Agda

The motivation and design decisions behind agdarsec are detailled in this paper.

Compilation

To typecheck and compile this project you will need:

  • Agda version 2.5.3
  • Agda's standard library Version 0.15

Ports

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