Repository navigation

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

Merged

EvanWinget merged 12 commits into

mainfrom

Aug 24, 2026

Merged

Unit 6d: let, list*, the list library, and the shared puzzle harness#65
EvanWinget merged 12 commits into
mainfrom
unit-6d-forms

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