aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance
ModeNameSize
-rw-r--r--Cospans.agda9889logplain
-rw-r--r--DecoratedCospans.agda34537logplain
-rw-r--r--FinitelyCocompletes.agda18166logplain
d---------Nat51logplain
d---------One43logplain
d---------Properties42logplain
d---------Setoids50logplain
-rw-r--r--SymMonCat.agda3773logplain