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

README.md

Automata

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