Mercurial > hg > Members > kono > Proof > category
directory / @ 59:a6e31588e2a6
| name | size | permissions |
|---|---|---|
 HomReasoning.agda
|
4951 | -rw-r--r-- |
|
cat-utility.agda
|
6356 | -rw-r--r-- |
|
category.ind
|
43821 | -rw-r--r-- |
|
list-nat.agda
|
4080 | -rw-r--r-- |
|
list.agda
|
128 | -rw-r--r-- |
|
nat.agda
|
11904 | -rw-r--r-- |
|
universal-mapping.agda
|
18834 | -rw-r--r-- |