Add FA.agda, with picture!
Merge branch 'master' of https://github.com/banacorn/formal-language
seperate tests from proofs
A language is Regular iff some DFA recognizes it.
Rename 'accept' => 'Regular' since we could use it as a predicate.
import List from stdlib, and replace out String with it