cabal init
Add real readme
Initial working experimental DFA implementation.