Unit 6d: let, list*, the list library, and the shared puzzle harness - #65

Merged

EvanWinget merged 12 commits into

mainfrom

Aug 24, 2026

Commits on Aug 24, 2026

docs: let and list* join the language reference
EvanWinget
committed
f4212ae
compiler: list* conses its items onto its tail
EvanWinget
committed
8479c79
compiler: let compiles as the one-shot naming helper
EvanWinget
committed
10cc09f
vectors: pin the unit 6d compiled representatives
EvanWinget
committed
404bc1a
lib: the list library completes
EvanWinget
committed
4309e1e
tests: the shared puzzle harness
EvanWinget
committed
1fe6c49
docs: unit 6d flips to landed
EvanWinget
committed
f6a4ca7
review fold-ins: unnested-binding error names the shape, two-binding pin, harness rename repairs
EvanWinget
committed
7b262da
review fold-in: the path rewrite reads its atom through atom_to_int
EvanWinget
committed
0ffe6e6
review fold-ins: quote pass-through, enforced path invariant, shared cons fold
EvanWinget
committed
494ec99
tests: the vault vm-vector audit recomputes solutions too
EvanWinget
committed
1b7b504
docs: the second uncurry collision and the glossary rows
EvanWinget
committed
59698f7