Mercurial > hg > Members > kono > Proof > category
directory /src/Category/ @ 1110:45de2b31bf02
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
Constructions/ | drwxr-xr-x | |
Object/ | drwxr-xr-x | |
Cat.agda | 6603 | -rw-r--r-- |
Cone.agda | 2864 | -rw-r--r-- |
Group.agda | 6789 | -rw-r--r-- |
Isomorphism.agda | 4783 | -rw-r--r-- |
Monoid.agda | 4447 | -rw-r--r-- |
One.agda | 1925 | -rw-r--r-- |
Poset.agda | 3591 | -rw-r--r-- |
Rel.agda | 4015 | -rw-r--r-- |
Ring.agda | 6616 | -rw-r--r-- |
Sets.agda | 1205 | -rw-r--r-- |