An open API service indexing awesome lists of open source software.

https://github.com/jozefg/regex

an exercise in decision procedures in Agda
https://github.com/jozefg/regex

Last synced: 3 months ago
JSON representation

an exercise in decision procedures in Agda

Awesome Lists containing this project

README

        

## regex

A verified regex matcher written in Agda. Currently terminates but Agda doesn't
believe me.