Skip to content

Make Monoids enums#75

Merged
Baptouuuu merged 2 commits intodevelopfrom
monoid-enums
Jan 11, 2026
Merged

Make Monoids enums#75
Baptouuuu merged 2 commits intodevelopfrom
monoid-enums

Commits

Commits on Jan 11, 2026