directory / @ 43:90b171e3a73e

name size permissions
dir. agda/ drwxr-xr-x
file .hgignore 33 -rw-r--r--
file delta.hs 1476 -rw-r--r--