directory / @ 15:8d546766a9a8

name size permissions
file Todo 294 -rw-r--r--
file utilities.agda 4564 -rw-r--r--
file whileTestGears.agda 3528 -rw-r--r--
file whileTestPrim.agda 10706 -rw-r--r--