Mercurial > hg > Papers > 2020 > soto-midterm
directory /src/agda/ @ 11:a8bc8c6b48bd default tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 And.agda
|
67 | -rw-r--r-- |
|
Nat.agda
|
61 | -rw-r--r-- |
|
plus.agda
|
97 | -rw-r--r-- |
|
syllogism.agda
|
112 | -rw-r--r-- |