Geeks
Taneb
/
regex
Regular expressions and finite state automata in Agda
Primary Language
Agda
regex GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
emeinhardt