Mercurial > hg > Members > kono > Proof > category
directory / @ 130:5f331dfc000b
| name | size | permissions |
|---|---|---|
 HomReasoning.agda
|
6792 | -rw-r--r-- |
|
adj-monad.agda
|
4273 | -rw-r--r-- |
|
cat-utility.agda
|
7963 | -rw-r--r-- |
|
category.ind
|
43870 | -rw-r--r-- |
|
category.pdf
|
200834 | -rw-r--r-- |
|
comparison-em.agda
|
6704 | -rw-r--r-- |
|
comparison-functor-conv.agda
|
8520 | -rw-r--r-- |
|
comparison-functor.agda
|
9656 | -rw-r--r-- |
|
em-category.agda
|
13748 | -rw-r--r-- |
|
list-nat.agda
|
3433 | -rw-r--r-- |
|
list.agda
|
128 | -rw-r--r-- |
|
monoid-monad.agda
|
2428 | -rw-r--r-- |
|
nat.agda
|
24179 | -rw-r--r-- |
|
universal-mapping.agda
|
18667 | -rw-r--r-- |