directory / @ 1:73b780d13f60

name size permissions
file category.ind 44117 -rw-r--r--
file list.agda 128 -rw-r--r--
file nat.agda 2948 -rw-r--r--