aboutsummaryrefslogtreecommitdiff
path: root/Preorder/Primitive
ModeNameSize
-rw-r--r--Monoidal.agda3094logplain
-rw-r--r--MonotoneMap.agda1824logplain