aboutsummaryrefslogtreecommitdiff
path: root/Object
ModeNameSize
-rw-r--r--Bimonoid.agda3287logplain
-rw-r--r--Biproduct.agda6113logplain
d---------Monoid86logplain
generated by cgit v1.2.3 (git 2.39.1) at 2026-09-04 08:34:22 +0000