Geeks
wmacmil
/
agdaFSAs
Implementation of FSAs in agda
Primary Language
Agda
GNU General Public License v3.0
GPL-3.0
agdaFSAs GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
agdaFSAs
Implementation of FSAs in agda