Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff 10 meses atrás
Data Refactoring, get rid of graph stuff 10 meses atrás
.gitignore Initial commit 10 meses atrás
Main.idr Refactoring, get rid of graph stuff 10 meses atrás
README.md Add readme 10 meses atrás

README.md

Automata

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