directory /agda/deltaM/ @ 126:5902b2a24abf

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