directory / @ 45:659b8a21caf7

name size permissions
file CatReasoning.agda 4478 -rw-r--r--
file category.ind 43821 -rw-r--r--
file list-nat.agda 4080 -rw-r--r--
file list.agda 128 -rw-r--r--
file nat.agda 10465 -rw-r--r--
file universal-mapping.agda 7899 -rw-r--r--