Mercurial > hg > Papers > 2020 > soto-midterm
directory /tex/spec/src/ @ 1:73127e0ab57c
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
agda-mcg.agda | 284 | -rw-r--r-- |
agda-mcg.agda.replaced | 398 | -rw-r--r-- |
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
agda-mcg.agda | 284 | -rw-r--r-- |
agda-mcg.agda.replaced | 398 | -rw-r--r-- |