aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Monoids.agda
AgeCommit message (Expand)Author
2026-07-07Update circuit valuesJacques Comeaux
2026-04-30Add monoids / monoid objects in setoids equivalenceJacques Comeaux