| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| AgdaEloadas.lagda | 14763 | 2020-Jan-08 | |
| AgdaEloadas.pdf | 333697 | 2020-Jan-08 |
| Name | Size (bytes) | Date | Description |
|---|---|---|---|
| ../ | Parent directory | ||
| AgdaEloadas.lagda | 14763 | 2020-Jan-08 | |
| AgdaEloadas.pdf | 333697 | 2020-Jan-08 |