Mercurial > hg > Members > kono > Proof > automaton
directory /a02/agda/ @ 141:b3f05cd08d24
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 dag.agda
|
1503 | -rw-r--r-- |
|
data1.agda
|
1560 | -rw-r--r-- |
|
equality.agda
|
630 | -rw-r--r-- |
|
lambda.agda
|
1094 | -rw-r--r-- |
|
level1.agda
|
454 | -rw-r--r-- |
|
list.agda
|
1784 | -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
|
573 | -rw-r--r-- |