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[parser]{source,tokens,ast}a line you wrote
- new
- subject
$proof- mode
parser- body
source,tokens,ast
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
25 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[parser]{source,tokens,ast}add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
proof[parser]{source,tokens,ast}swap to proof
- swap
- near
- lands
- Not on the shelf yet.
-
folio[parser]{source,tokens,ast}swap to folio
- swap
- common
- lands
- Not on the shelf yet.
-
theory[parser]{source,tokens,ast}swap to theory
- swap
- common
- lands
- Not on the shelf yet.
-
principle[parser]{source,tokens,ast}swap to principle
- swap
- common
- lands
- Not on the shelf yet.
mode the lens
-
$proof[prime]{source,tokens,ast}swap to prime
- swap
- common
- lands
- Not on the shelf yet.
-
$proof[hook]{source,tokens,ast}swap to hook
- swap
- common
- lands
- Not on the shelf yet.
-
$proof[component]{source,tokens,ast}swap to component
- swap
- common
- lands
- Not on the shelf yet.
-
$proof[depth]{source,tokens,ast}swap to depth
- swap
- common
- lands
- Not on the shelf yet.
-
$proof{source,tokens,ast}drop the lens
- 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 lens becomes the scene
-
$proof{source,tokens,ast}<parser>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes where it goes
body what it holds
-
$proof[parser]{literal.ast.lossless}swap to literal.ast.lossless
- swap
- near
- lands
- Not on the shelf yet.
-
$proof[parser]{source.tokens.ast}swap to source.tokens.ast
- swap
- near
- lands
- Not on the shelf yet.
-
$proof[parser]{source;tokens;ast;diagnostics;reconstruction}swap to source;tokens;ast;diagnostics;reconstruction
- swap
- near
- lands
- Not on the shelf yet.
-
$proof[parser]{open.sit}swap to open.sit
- 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 the scene
-
$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[parser]{source.tokens.ast}hold it as one name
- turn
- lands
- Not on the shelf yet.
- why
- dots inside one brace make one name the parser keeps whole
-
$proof[parser]{source;tokens;ast}hold the parts in order
- turn
- lands
- Not on the shelf yet.
- why
- semicolons put the parts in a sequence
-
$proof[parser]{source ~> tokens ~> ast}make the parts a path
- turn
- lands
- Not on the shelf yet.
- why
- ~> carries each part on to the next without collapsing them
projection where it goes
-
$proof[parser]{source,tokens,ast}<exact>add exact
- add
- near
- lands
- Not on the shelf yet.
-
$proof[parser]{source,tokens,ast}<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
$proof[parser]{source,tokens,ast}<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time