Mercurial > hg > Papers > 2021 > soto-thesis
directory /paper/src/agda/ @ 3:959f4b34d6f4
| 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
|
3679 | -rw-r--r-- |
|
hoare-test.agdai
|
163378 | -rw-r--r-- |
|
lambda.agda
|
518 | -rw-r--r-- |
|
lambda.agdai
|
17573 | -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-- |