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.