directory /agda/deltaM/ @ 129:d57c88171f38

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