Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| creating:start [2025/03/29 14:11] – Moved introductory material from scanning tutorial into this page ahelwer | creating:start [2025/04/01 14:46] (current) – Expanded and reordered language feature list ahelwer | ||
|---|---|---|---|
| Line 44: | Line 44: | ||
| Here is what our minimal language subset includes: | Here is what our minimal language subset includes: | ||
| - | * Named operator definitions | + | * Whole natural numbers |
| - | * Single-line comments like '' | + | * Boolean values |
| - | * Declaration of '' | + | |
| * Finite set literals, like '' | * Finite set literals, like '' | ||
| + | * Parentheses for expression grouping | ||
| + | * '' | ||
| + | * Single-line comments like '' | ||
| + | * The '' | ||
| + | * Some infix operators: '' | ||
| + | * The variable-priming suffix operator | ||
| * Quantification over sets with '' | * Quantification over sets with '' | ||
| * Function construction and application, | * Function construction and application, | ||
| - | * The '' | + | * Named operator definitions like '' |
| - | * Some infix operators: '' | + | * Declaration of '' |
| - | * The variable-priming suffix operator | + | |
| * Vertically-aligned conjunction & disjunction lists | * Vertically-aligned conjunction & disjunction lists | ||
| - | * The '' | ||
| - | * Whole natural numbers like '' | ||
| - | * Boolean values '' | ||
| Notably, we do not use the familiar '' | Notably, we do not use the familiar '' | ||
ahelwer