Skip to content

Developer guide: a chapter that was never in the book, and the gates that would have said so - #5664

Merged
shai-almog merged 21 commits into
masterfrom
devguide-structure-and-guards
Sep 2, 2026
Merged

Developer guide: a chapter that was never in the book, and the gates that would have said so#5664
shai-almog merged 21 commits into
masterfrom
devguide-structure-and-guards

Two support predicates answered before resolving the constraint

e68153f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar