Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff před 10 měsíci
Data Refactoring, get rid of graph stuff před 10 měsíci
.gitignore Initial commit před 10 měsíci
Main.idr Refactoring, get rid of graph stuff před 10 měsíci
README.md Add readme před 10 měsíci

README.md

Automata

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