Skip to content

Merge branch 'main' into monoid_is_idempotent

2974bb9
Select commit
Loading
Failed to load commit list.
Merged

Add op.is_idempotent property to Monoids that means op(x, x) == x #388

Merge branch 'main' into monoid_is_idempotent
2974bb9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs