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

Updated 5 months ago