directory / @ 1:f300bd2101d3

name size permissions
file .hgignore 25 -rw-r--r--
file systemT.agda 270 -rw-r--r--