directory / @ 2:ca2e9f7a7898

name size permissions
file .hgignore 25 -rw-r--r--
file boolean.agda 422 -rw-r--r--
file systemT.agda 271 -rw-r--r--