Mercurial > hg > Members > kono > Proof > automaton1
directory / @ 19:b16f7e6fd52b
name | size | permissions |
---|---|---|
automaton.agda | 5861 | -rw-r--r-- |
dfa2regex.agda | 1522 | -rw-r--r-- |
halt.agda | 2761 | -rw-r--r-- |
logic.agda | 2600 | -rw-r--r-- |
nat.agda | 11362 | -rw-r--r-- |
nfa-lib.agda | 3654 | -rw-r--r-- |
nfa.agda | 10801 | -rw-r--r-- |
nfa1.agda | 5280 | -rw-r--r-- |
regex.agda | 10067 | -rw-r--r-- |
regular-language.agda | 3584 | -rw-r--r-- |
turing.agda | 5523 | -rw-r--r-- |