Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

Name
Last commit
Last update
Data Loading commit data...
.gitignore Loading commit data...
Main.idr Loading commit data...
README.md Loading commit data...