joom/regexp-agda

Agda

Readme
0Issues
10Stargazers
5Watchers

regexp-agda

The paper describing the work in this repo can be found here.

Topics

continuation-passing-style dependent-types regular-expressions verification

Share to

Contact site admin: Geeks.