Mercurial > hg > Papers > 2021 > soto-thesis
directory /paper/src/agda/ @ 4:bf1f62556b81
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 .#abridgement.agda
|
22 | lrwxrwxrwx |
|
.#hoare-test.agda
|
22 | lrwxrwxrwx |
|
.#plus2.agda
|
22 | lrwxrwxrwx |
|
And.agda
|
67 | -rw-r--r-- |
|
Nat.agda
|
61 | -rw-r--r-- |
|
abridgement.agda
|
425 | -rw-r--r-- |
|
abridgement.agdai
|
21018 | -rw-r--r-- |
|
cbc-agda.agda
|
699 | -rw-r--r-- |
|
cbc-agda.agdai
|
26602 | -rw-r--r-- |
|
cmp.agda
|
298 | -rw-r--r-- |
|
cmp.agdai
|
118819 | -rw-r--r-- |
|
hoare-test.agda
|
3677 | -rw-r--r-- |
|
hoare-test.agdai
|
163378 | -rw-r--r-- |
|
hoare-while.agda
|
3711 | -rw-r--r-- |
|
hoare-while.agdai
|
176680 | -rw-r--r-- |
|
hoare-while1.agda
|
1211 | -rw-r--r-- |
|
hoare-while1.agdai
|
1828 | -rw-r--r-- |
|
lambda.agda
|
518 | -rw-r--r-- |
|
lambda.agdai
|
17573 | -rw-r--r-- |
|
logic.agda
|
4565 | -rw-r--r-- |
|
plus.agda
|
97 | -rw-r--r-- |
|
plus2.agda
|
136 | -rw-r--r-- |
|
plus2.agdai
|
15539 | -rw-r--r-- |
|
syllogism.agda
|
112 | -rw-r--r-- |
|
utilities.agda
|
4781 | -rw-r--r-- |
|
utilities.agdai
|
141662 | -rw-r--r-- |