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 5 månader sedan
Data Refactoring, get rid of graph stuff 5 månader sedan
.gitignore Initial commit 6 månader sedan
Main.idr Refactoring, get rid of graph stuff 5 månader sedan
README.md Add readme 6 månader sedan

README.md

Automata

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