Mercurial > hg > Papers > 2023 > moririn-sigos
directory / @ 4:854b01e2ce98
| name | size | permissions |
|---|---|---|
 fig/
|
drwxr-xr-x | |
 gearsAgda.html
|
13682 | -rw-r--r-- |
|
gearsAgda.ind
|
11193 | -rw-r--r-- |
|
gearsAgda.md
|
11325 | -rw-r--r-- |
|
main.pdf
|
181956 | -rw-r--r-- |
|
main.tex
|
1399 | -rw-r--r-- |
|
rbtree-gearsagda.mm
|
15756 | -rw-r--r-- |
|
rbtree.ind
|
34230 | -rw-r--r-- |