Skip to content
A

Automata

Project ID: 15

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