Pivot a line
Change one slot, keep the rest, and see the line before you go. Forms, side by side shows what each slot does.
The line
$proof{source.tokens.ast}(parser)a line you wrote
- new
- subject
$proof- body
source.tokens.ast- scope
parser
Tap a part for its next turn, again to go; swipe to step, pinch to drop. Keys: arrows, Delete, Enter.
An operator in front
Back to $proof[parser]{source.tokens.ast}
Families it belongs to
24 lines one change away
Drop a slot to read what the line says without it.
near: a line sharing a slot uses it · common: common on the shelf
charge the charge in front
-
boon $proof{source.tokens.ast}(parser)add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
folio{source.tokens.ast}(parser)swap to folio
- swap
- common
- lands
- Not on the shelf yet.
-
theory{source.tokens.ast}(parser)swap to theory
- swap
- common
- lands
- Not on the shelf yet.
-
principle{source.tokens.ast}(parser)swap to principle
- swap
- common
- lands
- Not on the shelf yet.
-
practice{source.tokens.ast}(parser)swap to practice
- swap
- common
- lands
- Not on the shelf yet.
mode the lens
-
$proof[prime]{source.tokens.ast}(parser)add prime
- add
- common
- lands
- Not on the shelf yet.
-
$proof[hook]{source.tokens.ast}(parser)add hook
- add
- common
- lands
- Not on the shelf yet.
body what it holds
-
$proof{open.sit}(parser)swap to open.sit
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{transfer}(parser)swap to transfer
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{orient}(parser)swap to orient
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{rail}(parser)swap to rail
- swap
- common
- lands
- Not on the shelf yet.
-
$proof(parser)drop what it holds
- drop
- lands
- Not on the shelf yet.
-
$proof(parser)<source.tokens.ast>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes where it goes
-
$proof[source.tokens.ast](parser)turn its walls to [ ]
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes the lens
-
$proof{source,tokens,ast}(parser)hold the parts together
- turn
- lands
- Not on the shelf yet.
- why
- commas keep parts apart and present at once
-
$proof{source;tokens;ast}(parser)hold the parts in order
- turn
- lands
- Not on the shelf yet.
- why
- semicolons put the parts in a sequence
-
$proof{source ~> tokens ~> ast}(parser)make the parts a path
- turn
- lands
- Not on the shelf yet.
- why
- ~> carries each part on to the next without collapsing them
scope the scene
-
$proof{source.tokens.ast}(year)swap to year
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{source.tokens.ast}(runtime)swap to runtime
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{source.tokens.ast}drop the scene
- drop
- lands
- Not on the shelf yet.
-
$proof{source.tokens.ast}<parser>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the scene becomes where it goes
-
$proof[parser]{source.tokens.ast}turn its walls to [ ]
- walls
- lands
- Not on the shelf yet.
- why
- the scene becomes the lens
projection where it goes
-
$proof{source.tokens.ast}(parser)<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
$proof{source.tokens.ast}(parser)<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time