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