Skip to content

Held-out correctness fixes: nested shorthand, short-circuit, map_get nil, list values - #137

Merged
howlcipher merged 2 commits into
mainfrom
heldout-fixes
Oct 12, 2026
Merged

howlcipher merged 2 commits into
mainfrom
heldout-fixes

docs: map_get miss is nil (Motoko #137 blocker)

2f5e0aa
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar