Skip to content

Make Monoids enums#75

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

Make Monoids enums#75
Baptouuuu merged 2 commits into
developfrom
monoid-enums

fix tests

8180f82
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar