directory / @ 6:b1fd8d8689a9

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