Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
Nicolas Lenz 56ab21640d Refactoring, get rid of graph stuff il y a 5 mois
Data Refactoring, get rid of graph stuff il y a 5 mois
.gitignore Initial commit il y a 6 mois
Main.idr Refactoring, get rid of graph stuff il y a 5 mois
README.md Add readme il y a 6 mois

README.md

Automata

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