match — spec

Source: handoff/SHAR-syntax.org, “Draft 4 — pattern matching”; design doc, Draft 4

Why: every example in the syntax documents, in the name spelling (S32), tabs, =;= comment levels (S33), =#= symbols (S29), =$= unquote (S30), =?= goals and =_= inference holes (S40). Each parses under the grammar; the harness reads them from =gram/snips/=. Draft 4 is the pattern-matching sketch (S35–S41). Rung 2 (parsed by the same grammar); their meaning is rung 5, prose, until the elaborator exists.

Claims: D4.1, D4.2, D4.3, D4.4, D4.5, D4.6, D4.7, D4.8, D4.9, D4.10, D4.11, D4.12