spw.quest

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]{turn}

a line you wrote

  • new
subject
proof
mode
parser
body
turn

An operator in front

  1. ~
  2. ?
  3. !
  4. *
  5. .
  6. ^
  7. #
  8. @
  9. &
  10. =
  11. %
  12. $

^ ascension: Lift parts into one relation you can inspect.

^proof[parser]{turn}

Actualize: go to this lineLet it go

Add to what it holds

Families it belongs to

Other lines about proof

27 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

  1. boon proof[parser]{turn}

    add boon

    • add
    lands
    Not on the shelf yet.
    why
    a valence word rides the word

subject the word

  1. folio[parser]{turn}

    swap to folio

    • swap
    • common
    lands
    Not on the shelf yet.
  2. theory[parser]{turn}

    swap to theory

    • swap
    • common
    lands
    Not on the shelf yet.
  3. principle[parser]{turn}

    swap to principle

    • swap
    • common
    lands
    Not on the shelf yet.
  4. practice[parser]{turn}

    swap to practice

    • swap
    • common
    lands
    Not on the shelf yet.
  5. ?proof[parser]{turn}

    ? wonder in front

    • mark
    lands
    Not on the shelf yet.
  6. ~proof[parser]{turn}

    ~ potential in front

    • mark
    lands
    Not on the shelf yet.
  7. ^proof[parser]{turn}

    ^ ascension in front

    • mark
    lands
    Not on the shelf yet.
  8. &proof[parser]{turn}

    & subject in front

    • mark
    lands
    Not on the shelf yet.
  9. $proof[parser]{turn}

    $ substrate in front

    • mark
    lands
    Not on the shelf yet.

mode the lens

  1. proof[card]{turn}

    swap to card

    • swap
    • near
    lands
    Not on the shelf yet.
  2. proof[boundary]{turn}

    swap to boundary

    • swap
    • near
    lands
    Not on the shelf yet.
  3. proof[prime]{turn}

    swap to prime

    • swap
    • common
    lands
    Not on the shelf yet.
  4. proof[hook]{turn}

    swap to hook

    • swap
    • common
    lands
    Not on the shelf yet.
  5. proof{turn}

    drop the lens

    • drop
    lands
    Not on the shelf yet.
  6. proof{turn}(parser)

    turn its walls to ( )

    • walls
    lands
    Not on the shelf yet.
    why
    the lens becomes the scene
  7. proof{turn}<parser>

    turn its walls to < >

    • walls
    lands
    Not on the shelf yet.
    why
    the lens becomes where it goes

body what it holds

  1. proof[parser]{literal.ast.lossless}

    swap to literal.ast.lossless

    • swap
    • near
    lands
    On the shelf: minimal proof.
  2. proof[parser]{claim.evidence.action}

    swap to claim.evidence.action

    • swap
    • near
    lands
    Not on the shelf yet.
  3. proof[parser]{source.tokens.ast}

    swap to source.tokens.ast

    • swap
    • near
    lands
    On the shelf: spwashi.com/tools/#quick-starts.
  4. proof[parser]{works.claims.not_claimed}

    swap to works.claims.not_claimed

    • swap
    • near
    lands
    Not on the shelf yet.
  5. proof[parser]

    drop what it holds

    • drop
    lands
    Not on the shelf yet.
  6. proof[parser](turn)

    turn its walls to ( )

    • walls
    lands
    Not on the shelf yet.
    why
    what it holds becomes the scene
  7. proof[parser]<turn>

    turn its walls to < >

    • walls
    lands
    Not on the shelf yet.
    why
    what it holds becomes where it goes

projection where it goes

  1. proof[parser]{turn}<exact>

    add exact

    • add
    • near
    lands
    Not on the shelf yet.
  2. proof[parser]{turn}<receipt>

    add receipt

    • add
    • common
    lands
    Not on the shelf yet.
  3. proof[parser]{turn}<china>

    add china

    • add
    • common
    lands
    Not on the shelf yet.

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