directory / @ 13:575b849cab1a

name size permissions
file Todo 294 -rw-r--r--
file utilities.agda 4332 -rw-r--r--
file whileTestGears.agda 3313 -rw-r--r--
file whileTestPrim.agda 9661 -rw-r--r--