Loading README.md 0 → 100644 +3 −0 Original line number Diff line number Diff line # Automata Stuff for automata (DFA, NFA, ε-NFA) written in Idris. Loading
README.md 0 → 100644 +3 −0 Original line number Diff line number Diff line # Automata Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
