468a8045c7
- precedence.csv regenerated to the actual 14-level chain (postfix and prefix levels, guarded alternatives, definition vs assignment) - glyph-escapes.md regenerated from the lexer: 73 glyphs, exactly one ASCII escape each, verified code points; M1-deferred symbols listed separately; add \middot so every glyph has an escape - math_prog_lang.md: M0/M1 symbol split, canonical handler arrow, one-role semicolon, real precedence table and brace-disambiguation rules; the ten example programs are now embedded verbatim and CI-parsed - Whitepaper (md + tex + appendices): every mpl code block parses or is re-fenced as an explicitly-labelled M1+ design sketch; symbol tables replaced by a pointer to glyph-escapes.md; unbuilt tooling and unmeasured claims reworded as planned/envisioned - docs/ARCHITECTURE.md: status preamble, real grammar excerpt, planned sections labelled as such - DocumentationTest now also covers math_prog_lang.md and the whitepaper - CHANGELOG and DECISIONS.md updated
800 B
800 B
| 1 | Level | Operators | Associativity | Description |
|---|---|---|---|---|
| 2 | 11 | f(a, b) ‧ ⊕ ⊖ ↴{…} | left | Postfix operators: function call, qualified module access, resource alloc/release, exception handler |
| 3 | 10 | ↯ ✎ ⧈ ⏲ - ⇀_ch ↽_ch (prefix) | right | Unary prefix operators (including unary minus) and channel operations |
| 4 | 9 | ∘ | left | Function composition |
| 5 | 8 | × ÷ ∗ | left | Multiplication and division (/ is an ASCII alias of ÷) |
| 6 | 7 | + - | left | Addition and subtraction |
| 7 | 6 | = ≠ < > ≤ ≥ ≈ ∼ | non-associative | Comparison operators |
| 8 | 5 | ∧ | left | Logical AND |
| 9 | 4 | ∨ | left | Logical OR |
| 10 | 3 | ⟹ | right | Implication / guard arrow |
| 11 | 2 | | | left | Guarded alternatives: (condition ⟹ result) | fallback |
| 12 | 1 | ← | right | Assignment |
| 13 | 0 | ≜ | right | Definition |
| 14 | -1 | ‖ | left | Parallel composition |
| 15 | -2 | ; | left | Expression sequencing (trailing ; permitted) |