directory / @ 51:8d9c55bac8b2

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