@@ -24,7 +24,7 @@ A unit.
2424
2525```
2626 ++ biff
27− |* [a](unit) b]$-(* (unit))]
27+ |* [a=(unit) b=$-(* (unit))]
2828 ?~ a ~
2929 (b u.a)
3030```
@@ -32,10 +32,10 @@ A unit.
3232#### Examples
3333
3434```
35− > (biff (some 5) |=(a]@ (some (add a 2))))
35+ > (biff (some 5) |=(a=@ (some (add a 2))))
3636 [~ u=7]
3737
38− > (biff ~ |=(a]@ (some (add a 2))))
38+ > (biff ~ |=(a=@ (some (add a 2))))
3939 ~
4040```
4141
@@ -75,7 +75,7 @@ A unit.
7575 > (bind ((unit @) [~ 97]) ,@t)
7676 [~ u='a']
7777
78− > =a |=(a]@ (add a 1))
78+ > =a |=(a=@ (add a 1))
7979 > (bind ((unit @) [~ 2]) a)
8080 [~ u=3]
8181```
@@ -185,7 +185,7 @@ A unit.
185185
186186```
187187 ++ clap :: combine
188− |* [a](unit) b=(unit) c=_|=(^ +<-)]
188+ |* [a=(unit) b=(unit) c=_|=(^ +<-)]
189189 ?~ a b
190190 ?~ b a
191191 [~ u=(c u.a u.b)]
@@ -389,7 +389,7 @@ Either the unwrapped value of `a` (`u.a`), or crash.
389389
390390```
391391 ++ need :: demand
392− |* a](unit)
392+ |* a=(unit)
393393 ?~ a ~|(%need !!)
394394 u.a
395395```