directory / @ 8:cca92e69b629

name size permissions
file logic.agda 4563 -rw-r--r--
file nat.agda 1682 -rw-r--r--
file prob1.agda 10389 -rw-r--r--