Mercurial > hg > Papers > 2023 > soto-master
directory /Paper/src/agda/ @ 32:4915eaa51ee0 default tip
| 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-- |
|
And.agda.replaced
|
74 | -rw-r--r-- |
|
Nat.agda
|
61 | -rw-r--r-- |
|
Nat.agda.replaced
|
117 | -rw-r--r-- |
|
_Fresh.agda
|
7023 | -rw-r--r-- |
|
_Fresh.agda.replaced
|
8170 | -rw-r--r-- |
|
abridgement.agda
|
425 | -rw-r--r-- |
|
abridgement.agda.replaced
|
545 | -rw-r--r-- |
|
cbc-agda.agda
|
887 | -rw-r--r-- |
|
cbc-agda.agda.replaced
|
1143 | -rw-r--r-- |
|
cbc-agda.agdai
|
31166 | -rw-r--r-- |
|
cmp.agda
|
298 | -rw-r--r-- |
|
cmp.agda.replaced
|
391 | -rw-r--r-- |
|
fresh_test.agda
|
368 | -rw-r--r-- |
|
fresh_test.agda.replaced
|
419 | -rw-r--r-- |
|
hoare-test.agda
|
3677 | -rw-r--r-- |
|
hoare-test.agda.replaced
|
4663 | -rw-r--r-- |
|
hoare-while.agda
|
3711 | -rw-r--r-- |
|
hoare-while.agda.replaced
|
4937 | -rw-r--r-- |
|
hoare-while1.agda
|
1211 | -rw-r--r-- |
|
hoare-while1.agda.replaced
|
1463 | -rw-r--r-- |
|
lambda.agda
|
518 | -rw-r--r-- |
|
lambda.agda.replaced
|
948 | -rw-r--r-- |
|
list-any.agda
|
2380 | -rw-r--r-- |
|
list-any.agda.replaced
|
2946 | -rw-r--r-- |
|
logic.agda
|
4579 | -rw-r--r-- |
|
logic.agda.replaced
|
6395 | -rw-r--r-- |
|
plus.agda
|
97 | -rw-r--r-- |
|
plus.agda.replaced
|
131 | -rw-r--r-- |
|
plus2.agda
|
136 | -rw-r--r-- |
|
plus2.agda.replaced
|
170 | -rw-r--r-- |
|
rbt_imple.agda
|
4633 | -rw-r--r-- |
|
rbt_imple.agda.replaced
|
5643 | -rw-r--r-- |
|
rbt_t.agda
|
16107 | -rw-r--r-- |
|
rbt_t.agda.replaced
|
19379 | -rw-r--r-- |
|
rbt_varif.agda
|
1569 | -rw-r--r-- |
|
rbt_varif.agda.replaced
|
2055 | -rw-r--r-- |
|
syllogism.agda
|
112 | -rw-r--r-- |
|
syllogism.agda.replaced
|
193 | -rw-r--r-- |
|
utilities.agda
|
4781 | -rw-r--r-- |
|
utilities.agda.replaced
|
6967 | -rw-r--r-- |