directory /agda/delta/ @ 87:6789c65a75bc

name size permissions
[up] drwxr-xr-x
file functor.agda 960 -rw-r--r--