Leftwards Arrow With Hook (↩)

n ↩ v: Change

→full documentation

Changes the value of variable with name n to value v.

Variable n must already exist.

    a ↩ 1
Error: Undefined identifier

    ⊢ b ← 3
3

    ⊢ b ↩ "Be the change you wish to see in the world."
"Be the change you wish to see in the world."

n F↩: Modify

→full documentation

Apply function F to existing variable n, and assign the result back to n.

    ⊢ b ⌽↩
".dlrow eht ni ees ot hsiw uoy egnahc eht eB"

n F↩ v: Modify

→full documentation

Assign n F v to n.

    ⊢ b ↓˜↩ 6
" eht ni ees ot hsiw uoy egnahc eht eB"