directory / @ 18:e35d729efd58

name size permissions
file logic.agda 4565 -rw-r--r--
file nat.agda 11357 -rw-r--r--
file prob1.agda 10099 -rw-r--r--