Mercurial > hg > Members > kono > Proof > agda-intro > agda
directory / @ 0:81966c2f4df6 draft default tip
| name | size | permissions |
|---|---|---|
 dag.agda
|
1503 | -rw-r--r-- |
|
data1.agda
|
2872 | -rw-r--r-- |
|
equality.agda
|
624 | -rw-r--r-- |
|
lambda.agda
|
2887 | -rw-r--r-- |
|
level1.agda
|
533 | -rw-r--r-- |
|
list.agda
|
3499 | -rw-r--r-- |
|
logic.agda
|
1685 | -rw-r--r-- |
|
practice-logic.agda
|
2742 | -rw-r--r-- |
|
practice-nat.agda
|
2773 | -rw-r--r-- |
|
record1.agda
|
1887 | -rw-r--r-- |
|
test.agda
|
1170 | -rw-r--r-- |