Mercurial > hg > Members > kono > Proof > automaton
directory /a02/agda/ @ 279:797fdfe65c93
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 dag.agda
|
1503 | -rw-r--r-- |
|
data1.agda
|
2594 | -rw-r--r-- |
|
equality.agda
|
630 | -rw-r--r-- |
|
lambda.agda
|
2806 | -rw-r--r-- |
|
level1.agda
|
533 | -rw-r--r-- |
|
list.agda
|
3499 | -rw-r--r-- |
|
logic.agda
|
1529 | -rw-r--r-- |
|
practice-logic.agda
|
2742 | -rw-r--r-- |
|
practice-nat.agda
|
2773 | -rw-r--r-- |
|
record1.agda
|
1887 | -rw-r--r-- |