draft2 — spec

Source: handoff/SHAR-syntax.org, “Draft 2 — examples”; design doc, Draft 2

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: D2.1, D2.2, D2.3, D2.4, D2.5, D2.6, D2.7, D2.8, D2.9, D2.10, D2.11, D2.12, D2.13, D2.14, D2.15, D2.16