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.

Change it here too: the line it was stays behind as the way back.

The line

proof(study)[component]{literal.ast.lossless}

a line you wrote

  • new
subject
proof
mode
component
body
literal.ast.lossless
scope
study

Take it apartFeel it at restOpen it on the canvasWhat each slot is

An operator in front

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

Families it belongs to

Other lines about proof

32 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(study)[component]{literal.ast.lossless}

    add boon

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

    Pivot from hereTake it apart

subject the word

  1. byproduct(study)[component]{literal.ast.lossless}

    swap to byproduct

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  2. light(study)[component]{literal.ast.lossless}

    swap to light

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  3. provision(study)[component]{literal.ast.lossless}

    swap to provision

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  4. service(study)[component]{literal.ast.lossless}

    swap to service

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  5. ?proof(study)[component]{literal.ast.lossless}

    ? wonder in front

    • mark
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  6. ~proof(study)[component]{literal.ast.lossless}

    ~ potential in front

    • mark
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  7. ^proof(study)[component]{literal.ast.lossless}

    ^ ascension in front

    • mark
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  8. &proof(study)[component]{literal.ast.lossless}

    & subject in front

    • mark
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  9. $proof(study)[component]{literal.ast.lossless}

    $ substrate in front

    • mark
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

mode the lens

  1. proof(study)[parser]{literal.ast.lossless}

    swap to parser

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  2. proof(study)[card]{literal.ast.lossless}

    swap to card

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  3. proof(study)[boundary]{literal.ast.lossless}

    swap to boundary

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  4. proof(study)[prime]{literal.ast.lossless}

    swap to prime

    • swap
    • common
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  5. proof(study){literal.ast.lossless}

    drop the lens

    • drop
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  6. proof<component>(study){literal.ast.lossless}

    turn its walls to < >

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

    Pivot from hereTake it apart

body what it holds

  1. proof(study)[component]{claim.evidence.action}

    swap to claim.evidence.action

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  2. proof(study)[component]{source.tokens.ast}

    swap to source.tokens.ast

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  3. proof(study)[component]{works.claims.not_claimed}

    swap to works.claims.not_claimed

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  4. proof(study)[component]{source;tokens;ast;diagnostics;reconstruction}

    swap to source;tokens;ast;diagnostics;reconstruction

    • swap
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  5. proof(study)[component]

    drop what it holds

    • drop
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  6. proof<literal.ast.lossless>(study)[component]

    turn its walls to < >

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

    Pivot from hereTake it apart

  7. proof(study)[component]{literal,ast,lossless}

    hold the parts together

    • turn
    lands
    Not on the shelf yet.
    why
    commas keep parts apart and present at once

    Pivot from hereTake it apart

  8. proof(study)[component]{literal;ast;lossless}

    hold the parts in order

    • turn
    lands
    Not on the shelf yet.
    why
    semicolons put the parts in a sequence

    Pivot from hereTake it apart

  9. proof(study)[component]{literal ~> ast ~> lossless}

    make the parts a path

    • turn
    lands
    Not on the shelf yet.
    why
    ~> carries each part on to the next without collapsing them

    Pivot from hereTake it apart

scope the scene

  1. proof(year)[component]{literal.ast.lossless}

    swap to year

    • swap
    • common
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  2. proof(runtime)[component]{literal.ast.lossless}

    swap to runtime

    • swap
    • common
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  3. proof[component]{literal.ast.lossless}

    drop the scene

    • drop
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  4. proof<study>[component]{literal.ast.lossless}

    turn its walls to < >

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

    Pivot from hereTake it apart

projection where it goes

  1. proof<exact>(study)[component]{literal.ast.lossless}

    add exact

    • add
    • near
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  2. proof<receipt>(study)[component]{literal.ast.lossless}

    add receipt

    • add
    • common
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

  3. proof<china>(study)[component]{literal.ast.lossless}

    add china

    • add
    • common
    lands
    Not on the shelf yet.

    Pivot from hereTake it apart

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