Skip to content

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]

a line you wrote

new

subject: $proof
mode: parser

Take it apart What each slot is

An operator in front

Families it belongs to

$proof[*] 1051 lines, with the lens open
$proof{*} 1056 lines, with what it holds open
$proof<*> 393 lines, with where it goes open
[parser] 3 lines, with the word open

16 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]
add boon
- add
lands
Not on the shelf yet.
why
a valence word rides the word

Pivot from here Take it apart

subject the word

proof[parser]
swap to proof
- swap
- near
lands
Not on the shelf yet.

Pivot from here Take it apart
folio[parser]
swap to folio
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
theory[parser]
swap to theory
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
principle[parser]
swap to principle
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart

mode the lens

$proof[prime]
swap to prime
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof[hook]
swap to hook
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof[component]
swap to component
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof[depth]
swap to depth
- swap
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof
drop the lens
- drop
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof{parser}
turn its walls to { }
- walls
lands
Not on the shelf yet.
why
the lens becomes what it holds

Pivot from here Take it apart
$proof(parser)
turn its walls to ( )
- walls
lands
Not on the shelf yet.
why
the lens becomes the scene

Pivot from here Take it apart
$proof<parser>
turn its walls to < >
- walls
lands
Not on the shelf yet.
why
the lens becomes where it goes

Pivot from here Take it apart

projection where it goes

$proof[parser]<exact>
add exact
- add
- near
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof[parser]<receipt>
add receipt
- add
- common
lands
Not on the shelf yet.

Pivot from here Take it apart
$proof[parser]<china>
add china
- add
- common
lands
Not on the shelf yet.

Pivot from here Take it apart

Constructs · Specimens · Take one line apart · Learn it a mark at a time