aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Setoids
AgeCommit message (Collapse)Author
4 daysAdd shorter name for singleton setoidJacques Comeaux
7 daysMake setoids monoidal structure opaqueJacques Comeaux
2025-10-28Add second level parameter to Setoids SMCJacques Comeaux
2024-09-19Add decorated cospansJacques Comeaux