Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff пре 10 месеци
Data Refactoring, get rid of graph stuff пре 10 месеци
.gitignore Initial commit пре 10 месеци
Main.idr Refactoring, get rid of graph stuff пре 10 месеци
README.md Add readme пре 10 месеци

README.md

Automata

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