Mercurial > hg > Members > kono > Proof > automaton1
directory / @ 20:bdca72fe271e default tip
| name | size | permissions |
|---|---|---|
 automaton.agda
|
5861 | -rw-r--r-- |
|
dfa2regex.agda
|
1522 | -rw-r--r-- |
|
halt.agda
|
3481 | -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-- |