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 10 Monaten
Data Refactoring, get rid of graph stuff vor 10 Monaten
.gitignore Initial commit vor 10 Monaten
Main.idr Refactoring, get rid of graph stuff vor 10 Monaten
README.md Add readme vor 10 Monaten

README.md

Automata

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