Traits: state what an operator requires of its operands, not that they are the same - #73

Merged

dpmills merged 6 commits into

mainfrom

Aug 14, 2026

Commits on Aug 14, 2026

Traits: state what an operator requires of its operands, not that they are the same
dpmills
committed
8344176
Review: a trait is a relation over types *and functions*, and F = 0 today
dpmills
committed
364667a
Rebase fallout: two consequences of meeting #89's never-called typechecking
dpmills
committed
34b0d63
Docs: state the trait design rather than narrate arriving at it
dpmills
committed
e9cf779
Tests: embedded programs read as programs, not as escaped newlines
dpmills
committed
24edf65
Review: a trait's rows are instances, and finding one is resolution
dpmills
committed
65853a7