directory / @ 145:b93e4b2aea9e

name size permissions
dir. agda/ drwxr-xr-x
dir. haskell/ drwxr-xr-x
dir. modificationWithType/ drwxr-xr-x
file .hgignore 44 -rw-r--r--
file .hgtags 170 -rw-r--r--