directory / @ 14:a622d1700a1b

name size permissions
file Todo 294 -rw-r--r--
file utilities.agda 4332 -rw-r--r--
file whileTestGears.agda 3528 -rw-r--r--
file whileTestPrim.agda 10408 -rw-r--r--