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- 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
Families it belongs to
Other lines about proof
23 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
subject the word
-
folio(parser)swap to folio
- swap
- common
- lands
- Not on the shelf yet.
-
theory(parser)swap to theory
- swap
- common
- lands
- Not on the shelf yet.
-
principle(parser)swap to principle
- swap
- common
- lands
- Not on the shelf yet.
-
practice(parser)swap to practice
- swap
- common
- lands
- Not on the shelf yet.
-
?proof(parser)? wonder in front
- mark
- lands
- Not on the shelf yet.
-
~proof(parser)~ potential in front
- mark
- lands
- Not on the shelf yet.
-
^proof(parser)^ ascension in front
- mark
- lands
- Not on the shelf yet.
-
&proof(parser)& subject in front
- mark
- lands
- Not on the shelf yet.
-
$proof(parser)$ substrate in front
- mark
- lands
- Not on the shelf yet.
mode the lens
-
proof[parser](parser)add parser
- add
- near
- lands
- Not on the shelf yet.
-
proof[card](parser)add card
- add
- near
- lands
- Not on the shelf yet.
-
proof[boundary](parser)add boundary
- add
- near
- lands
- Not on the shelf yet.
-
proof[prime](parser)add prime
- add
- common
- lands
- Not on the shelf yet.
scope the scene
-
proof(year)swap to year
- swap
- common
- lands
- Not on the shelf yet.
-
proof(runtime)swap to runtime
- swap
- common
- lands
- Not on the shelf yet.
-
proofdrop the scene
- drop
- lands
- Not on the shelf yet.
-
proof<parser>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the scene becomes where it goes
-
proof[parser]turn its walls to [ ]
- walls
- lands
- Not on the shelf yet.
- why
- the scene becomes the lens
-
proof{parser}turn its walls to { }
- walls
- lands
- Not on the shelf yet.
- why
- the scene becomes what it holds
projection where it goes
-
proof(parser)<exact>add exact
- add
- near
- lands
- Not on the shelf yet.
-
proof(parser)<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
proof(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