directory / @ 1076:5e89bbb4cf53

name size permissions
dir. doc/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgtags 992 -rw-r--r--
file CategoryExcercise.agda-lib 119 -rw-r--r--
file CategoryExcercise.agda-pkg 475 -rw-r--r--
file LICENSE.md 0 -rw-r--r--
file README.md 2548 -rw-r--r--