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

README.md

Automata

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