directory / @ 2:27e2035653ce default tip

name size permissions
file IdAgda.agda 119 -rw-r--r--
file foreign.agda 1171 -rw-r--r--
file hello.agda 143 -rw-r--r--
file reflection-ex.agda 15476 -rw-r--r--
file tactics.agda 1244 -rw-r--r--