directory / @ 0:6d2dc87aaa62

name size permissions
file Hoare.agda 9739 -rw-r--r--
file whileTest.agda 1315 -rw-r--r--