on master help sign in
fixed syntax update errors in library 2a section
05ac90bJohn Franklin
reference/library/2a.md+6−6
@@ -24,7 +24,7 @@ A unit.
24
24
25```
25```
26 ++ biff
26 ++ biff
27− |* [a](unit) b]$-(* (unit))]
27+ |* [a=(unit) b=$-(* (unit))]
28 ?~ a ~
28 ?~ a ~
29 (b u.a)
29 (b u.a)
30```
30```
@@ -32,10 +32,10 @@ A unit.
32#### Examples
32#### Examples
33
33
34```
34```
35− > (biff (some 5) |=(a]@ (some (add a 2))))
35+ > (biff (some 5) |=(a=@ (some (add a 2))))
36 [~ u=7]
36 [~ u=7]
37
37
38− > (biff ~ |=(a]@ (some (add a 2))))
38+ > (biff ~ |=(a=@ (some (add a 2))))
39 ~
39 ~
40```
40```
41
41
@@ -75,7 +75,7 @@ A unit.
75 > (bind ((unit @) [~ 97]) ,@t)
75 > (bind ((unit @) [~ 97]) ,@t)
76 [~ u='a']
76 [~ u='a']
77
77
78− > =a |=(a]@ (add a 1))
78+ > =a |=(a=@ (add a 1))
79 > (bind ((unit @) [~ 2]) a)
79 > (bind ((unit @) [~ 2]) a)
80 [~ u=3]
80 [~ u=3]
81```
81```
@@ -185,7 +185,7 @@ A unit.
185
185
186```
186```
187 ++ clap :: combine
187 ++ clap :: combine
188− |* [a](unit) b=(unit) c=_|=(^ +<-)]
188+ |* [a=(unit) b=(unit) c=_|=(^ +<-)]
189 ?~ a b
189 ?~ a b
190 ?~ b a
190 ?~ b a
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.
389
389
390```
390```
391 ++ need :: demand
391 ++ need :: demand
392− |* a](unit)
392+ |* a=(unit)
393 ?~ a ~|(%need !!)
393 ?~ a ~|(%need !!)
394 u.a
394 u.a
395```
395```