Giters

wmacmil / agdaFSAs

Implementation of FSAs in agda

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agdaFSAs

Implementation of FSAs in agda

About

Implementation of FSAs in agda

License:GNU General Public License v3.0

Languages

Language:Agda 100.0%