- Complete language specification (math_prog_lang.md) - M0 blocker tracking issue template - Glyph escape sequences reference - Operator precedence table - Example programs from specification - Project README Ready for pre-M0 implementation phase
489 B
489 B
| 1 | Level | Operators | Associativity | Description |
|---|---|---|---|---|
| 2 | 9 | function application | left | Function call f(x) or f x |
| 3 | 8 | ↯ ✎ ? ⧈ ⏲ (prefix) | right | Unary prefix operators |
| 4 | 7 | ∘ | left | Function composition |
| 5 | 6 | × ÷ ∗ | left | Multiplication and division |
| 6 | 5 | + - | left | Addition and subtraction |
| 7 | 4 | = ≠ < > ≤ ≥ ≈ ∼ | non-associative | Comparison operators |
| 8 | 3 | ∧ | left | Logical AND |
| 9 | 2 | ∨ | left | Logical OR |
| 10 | 1 | ⟹ | right | Implication |
| 11 | 0 | ← | right | Assignment |
| 12 | -1 | ‖ | left | Parallel composition |
| 13 | -2 | ; | left | Statement sequencing |