Mercurial > hg > Members > kono > Proof > automaton
directory /a02/agda/ @ 139:3be1afb87f82
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 dag.agda
|
1510 | -rw-r--r-- |
|
data1.agda
|
1560 | -rw-r--r-- |
|
equality.agda
|
608 | -rw-r--r-- |
|
lambda.agda
|
1150 | -rw-r--r-- |
|
level1.agda
|
454 | -rw-r--r-- |
|
list.agda
|
1784 | -rw-r--r-- |
|
logic.agda
|
1514 | -rw-r--r-- |
|
practice-logic.agda
|
2195 | -rw-r--r-- |
|
practice-nat.agda
|
1899 | -rw-r--r-- |
|
record1.agda
|
573 | -rw-r--r-- |