directory /agda/deltaM/ @ 91:f41682b53992

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