Mercurial > hg > Members > kono > Proof > automaton
directory /a02/agda/ @ 406:a60132983557
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 dag.agda
|
2228 | -rw-r--r-- |
|
data1.agda
|
3250 | -rw-r--r-- |
|
equality.agda
|
641 | -rw-r--r-- |
|
lambda.agda
|
2887 | -rw-r--r-- |
|
level1.agda
|
533 | -rw-r--r-- |
|
list.agda
|
3499 | -rw-r--r-- |
|
logic.agda
|
1730 | -rw-r--r-- |
|
practice-logic.agda
|
2742 | -rw-r--r-- |
|
practice-nat.agda
|
3087 | -rw-r--r-- |
|
record1.agda
|
1887 | -rw-r--r-- |