Skip to content

Reject building a user monoid from a built-in BinaryOp - #617

Open
eriknw wants to merge 1 commit into
35-ssconfig-attr-guardfrom
36-monoid-builtin-binaryop-guard
Open

Reject building a user monoid from a built-in BinaryOp#617
eriknw wants to merge 1 commit into
35-ssconfig-attr-guardfrom
36-monoid-builtin-binaryop-guard

Reject building a user monoid from a built-in BinaryOp

727fe12
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar