directory /agda/deltaM/ @ 125:6dcc68ef8f96

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