Mercurial > hg > Members > kono > Proof > automaton1
directory / @ 17:5f97e5606e7e
| name | size | permissions |
|---|---|---|
 automaton.agda
|
5008 | -rw-r--r-- |
|
dfa2regex.agda
|
1522 | -rw-r--r-- |
|
logic.agda
|
2440 | -rw-r--r-- |
|
nat.agda
|
11362 | -rw-r--r-- |
|
nfa-lib.agda
|
3654 | -rw-r--r-- |
|
nfa.agda
|
10705 | -rw-r--r-- |
|
regex.agda
|
7946 | -rw-r--r-- |
|
regular-language.agda
|
3533 | -rw-r--r-- |