AN EXECUTABLE COMPANION · CHAPTERS 1–7
Choose the next pop.
A circle becomes a value when its operands are values and its operator admits them. Choose an eligible circle and watch the expression change.
0circles left
0pops taken
0parallel rounds
0current depth
LINEAR NOTATION
Edit a typed expression
Numbers use decimal strings, preserving exact integers. Symbols use
{"kind":"sym","name":"x"}. Unknown operators and
ill-sorted circles stay inert. Input and arithmetic budgets keep this
browser session bounded.