directory /agda/ @ 27:742e62fc63e4

name size permissions
[up] drwxr-xr-x
file list.agda 560 -rw-r--r--
file similar.agda 1346 -rw-r--r--