directory / @ 22:b3cb592d7b9d

name size permissions
file category.ind 44275 -rw-r--r--
file list-nat.agda 3663 -rw-r--r--
file list.agda 128 -rw-r--r--
file nat.agda 12280 -rw-r--r--