directory / @ 5:a3cf5cb2b7d3

name size permissions
file .hgignore 25 -rw-r--r--
file boolean.agda 422 -rw-r--r--
file int.agda 1240 -rw-r--r--
file systemT.agda 269 -rw-r--r--