directory / @ 46:5d1b0fd2ad21

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 8890 -rw-r--r--