aboutsummaryrefslogtreecommitdiff
path: root/Category
ModeNameSize
d---------Cocomplete / Finitely35logplain
d---------Instance74logplain