Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen mit entweder einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff vor 5 Monaten
Data Refactoring, get rid of graph stuff vor 5 Monaten
.gitignore Initial commit vor 6 Monaten
Main.idr Refactoring, get rid of graph stuff vor 5 Monaten
README.md Add readme vor 6 Monaten

README.md

Automata

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