@@ -24,7 +24,7 @@ A unit.
27− |* [a](unit) b]$-(* (unit))]
27+ |* [a=(unit) b=$-(* (unit))]
@@ -32,10 +32,10 @@ A unit.
32#### Examples
32#### Examples
35− > (biff (some 5) |=(a]@ (some (add a 2))))
35+ > (biff (some 5) |=(a=@ (some (add a 2))))
38− > (biff ~ |=(a]@ (some (add a 2))))
38+ > (biff ~ |=(a=@ (some (add a 2))))
@@ -75,7 +75,7 @@ A unit.
75 > (bind ((unit @) [~ 97]) ,@t)
75 > (bind ((unit @) [~ 97]) ,@t)
78− > =a |=(a]@ (add a 1))
78+ > =a |=(a=@ (add a 1))
79 > (bind ((unit @) [~ 2]) a)
79 > (bind ((unit @) [~ 2]) a)
@@ -185,7 +185,7 @@ A unit.
187 ++ clap :: combine
187 ++ clap :: combine
188− |* [a](unit) b=(unit) c=_|=(^ +<-)]
188+ |* [a=(unit) b=(unit) c=_|=(^ +<-)]
191 [~ u=(c u.a u.b)]
191 [~ u=(c u.a u.b)]
@@ -389,7 +389,7 @@ Either the unwrapped value of `a` (`u.a`), or crash.
391 ++ need :: demand
391 ++ need :: demand
392− |* a](unit)
392+ |* a=(unit)
393 ?~ a ~|(%need !!)
393 ?~ a ~|(%need !!)