Mercurial > hg > Members > kono > Proof > automaton1
directory / @ 7:8f1828ec8d1b
| name | size | permissions |
|---|---|---|
 Test.agda
|
621 | -rw-r--r-- |
|
automaton.agda
|
5008 | -rw-r--r-- |
|
finiteSet.agda
|
28634 | -rw-r--r-- |
|
logic.agda
|
2389 | -rw-r--r-- |
|
nat.agda
|
11362 | -rw-r--r-- |
|
nfa.agda
|
8275 | -rw-r--r-- |
|
regular-language.agda
|
3469 | -rw-r--r-- |