A
Automata
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
-
Nicolas Lenz authored56ab2164
| Name |
Last commit
|
Last update |
|---|---|---|
| Data | ||
| .gitignore | ||
| Main.idr | ||
| README.md |
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
| Name |
Last commit
|
Last update |
|---|---|---|
| Data | ||
| .gitignore | ||
| Main.idr | ||
| README.md |