directory / @ 19:9f5bf86fe6dd

name size permissions
file logic.agda 4565 -rw-r--r--
file nat.agda 11360 -rw-r--r--
file prob1.agda 10164 -rw-r--r--