Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Du kan inte välja fler än 25 ämnen Ämnen måste starta med en bokstav eller siffra, kan innehålla bindestreck ('-') och vara max 35 tecken långa.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 7 månader sedan
Data Refactoring, get rid of graph stuff 7 månader sedan
.gitignore Initial commit 8 månader sedan
Main.idr Refactoring, get rid of graph stuff 7 månader sedan
README.md Add readme 8 månader sedan

README.md

Automata

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