Mercurial > hg > Members > kono > Proof > automaton
directory /agda/ @ 162:690a8352c1ad
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 FSetUtil.agda
|
20933 | -rw-r--r-- |
|
automaton-ex.agda
|
1959 | -rw-r--r-- |
|
automaton.agda
|
1041 | -rw-r--r-- |
|
cfg.agda
|
4525 | -rw-r--r-- |
|
cfg1.agda
|
5441 | -rw-r--r-- |
|
chap0.agda
|
5735 | -rw-r--r-- |
|
derive.agda
|
4218 | -rw-r--r-- |
|
even.agda
|
2295 | -rw-r--r-- |
|
finiteSet.agda
|
1602 | -rw-r--r-- |
|
flcagl.agda
|
21121 | -rw-r--r-- |
|
gcd.agda
|
11142 | -rw-r--r-- |
|
halt.agda
|
3715 | -rw-r--r-- |
|
index.ind
|
1342 | -rw-r--r-- |
|
induction-ex.agda
|
3107 | -rw-r--r-- |
|
lang-text.agda
|
1351 | -rw-r--r-- |
|
logic.agda
|
4677 | -rw-r--r-- |
|
nat.agda
|
11359 | -rw-r--r-- |
|
nfa.agda
|
4379 | -rw-r--r-- |
|
nfa136.agda
|
3221 | -rw-r--r-- |
|
non-regular.agda
|
622 | -rw-r--r-- |
|
omega-automaton.agda
|
3558 | -rw-r--r-- |
|
prime.agda
|
1125 | -rw-r--r-- |
|
pushdown.agda
|
3664 | -rw-r--r-- |
|
puzzle.agda
|
7369 | -rw-r--r-- |
|
regex.agda
|
325 | -rw-r--r-- |
|
regex1.agda
|
4584 | -rw-r--r-- |
|
regular-concat.agda
|
10487 | -rw-r--r-- |
|
regular-language.agda
|
3246 | -rw-r--r-- |
|
root2.agda
|
3526 | -rw-r--r-- |
|
sbconst2.agda
|
2468 | -rw-r--r-- |
|
turing.agda
|
5167 | -rw-r--r-- |
|
utm.agda
|
9393 | -rw-r--r-- |