directory / @ 8:d5e4db7bbe01

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