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

README.md

Automata

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