Skip to content

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

Merged
eriknw merged 1 commit into
mainfrom
36-monoid-builtin-binaryop-guard
Nov 11, 2026
Merged

Reject building a user monoid from a built-in BinaryOp#617
eriknw merged 1 commit into
mainfrom
36-monoid-builtin-binaryop-guard

Reject building a user monoid from a built-in BinaryOp

512b8ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar