Skip to content

feat: control flow — :cond (where-chain) + honest deferrals (CM4) - #151

Merged
ausimian merged 3 commits into
feat/expr-compilerfrom
feat/expr-compiler-cm4
Jun 4, 2026
Merged

feat: control flow — :cond (where-chain) + honest deferrals (CM4)#151
ausimian merged 3 commits into
feat/expr-compilerfrom
feat/expr-compiler-cm4

refactor: address CM4 review (elem message, cond all-branch caveat)

f98c401
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar