Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 10 місяці тому
Data Refactoring, get rid of graph stuff 10 місяці тому
.gitignore Initial commit 10 місяці тому
Main.idr Refactoring, get rid of graph stuff 10 місяці тому
README.md Add readme 10 місяці тому

README.md

Automata

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