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[card]{claim.evidence.action}/#proof-cards
- on the shelf
- subject
proof- mode
card- body
claim.evidence.action
Read it where it standsTake it apartFeel it at restOpen it on the canvasWhat each slot is
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
proof[*]6 lines, with the lens openproof{*}6 lines, with what it holds open[card]2 lines, with the word open
Other lines about proof
31 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[card]{claim.evidence.action}add boon
- add
- lands
- Not on the shelf yet.
- why
- a valence word rides the word
subject the word
-
reflection[card]{claim.evidence.action}swap to reflection
- swap
- near
- lands
- Not on the shelf yet.
-
folio[card]{claim.evidence.action}swap to folio
- swap
- common
- lands
- Not on the shelf yet.
-
theory[card]{claim.evidence.action}swap to theory
- swap
- common
- lands
- Not on the shelf yet.
-
principle[card]{claim.evidence.action}swap to principle
- swap
- common
- lands
- Not on the shelf yet.
-
?proof[card]{claim.evidence.action}? wonder in front
- mark
- lands
- Not on the shelf yet.
-
~proof[card]{claim.evidence.action}~ potential in front
- mark
- lands
- Not on the shelf yet.
-
^proof[card]{claim.evidence.action}^ ascension in front
- mark
- lands
- Not on the shelf yet.
-
&proof[card]{claim.evidence.action}& subject in front
- mark
- lands
- Not on the shelf yet.
-
$proof[card]{claim.evidence.action}$ substrate in front
- mark
- lands
- Not on the shelf yet.
mode the lens
-
proof[parser]{claim.evidence.action}swap to parser
- swap
- near
- lands
- Not on the shelf yet.
-
proof[boundary]{claim.evidence.action}swap to boundary
- swap
- near
- lands
- Not on the shelf yet.
-
proof[prime]{claim.evidence.action}swap to prime
- swap
- common
- lands
- Not on the shelf yet.
-
proof[hook]{claim.evidence.action}swap to hook
- swap
- common
- lands
- Not on the shelf yet.
-
proof{claim.evidence.action}drop the lens
- drop
- lands
- Not on the shelf yet.
-
proof{claim.evidence.action}(card)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes the scene
-
proof{claim.evidence.action}<card>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- the lens becomes where it goes
body what it holds
-
proof[card]{literal.ast.lossless}swap to literal.ast.lossless
- swap
- near
- lands
- Not on the shelf yet.
-
proof[card]{source.tokens.ast}swap to source.tokens.ast
- swap
- near
- lands
- Not on the shelf yet.
-
proof[card]{works.claims.not_claimed}swap to works.claims.not_claimed
- swap
- near
- lands
- Not on the shelf yet.
-
proof[card]{source;tokens;ast;diagnostics;reconstruction}swap to source;tokens;ast;diagnostics;reconstruction
- swap
- near
- lands
- Not on the shelf yet.
-
proof[card]drop what it holds
- drop
- lands
- Not on the shelf yet.
-
proof[card](claim.evidence.action)turn its walls to ( )
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes the scene
-
proof[card]<claim.evidence.action>turn its walls to < >
- walls
- lands
- Not on the shelf yet.
- why
- what it holds becomes where it goes
-
proof[card]{claim,evidence,action}hold the parts together
- turn
- lands
- Not on the shelf yet.
- why
- commas keep parts apart and present at once
-
proof[card]{claim;evidence;action}hold the parts in order
- turn
- lands
- Not on the shelf yet.
- why
- semicolons put the parts in a sequence
-
proof[card]{claim ~> evidence ~> action}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[card]{claim.evidence.action}<exact>add exact
- add
- near
- lands
- Not on the shelf yet.
-
proof[card]{claim.evidence.action}<source>add source
- add
- near
- lands
- Not on the shelf yet.
-
proof[card]{claim.evidence.action}<receipt>add receipt
- add
- common
- lands
- Not on the shelf yet.
-
proof[card]{claim.evidence.action}<china>add china
- add
- common
- lands
- Not on the shelf yet.
Constructs · Specimens · Take one line apart · Learn it a mark at a time