@@ -19,7 +19,7 @@ Build `f` such that `(f x) .= (b (a x))`.
1919#### Source
2020
2121```hoon
22− ++ cork |*([a=_|=(* **) b=gate] (corl b a))
22+++ cork |*([a=$-(* *) b=$-(* *)] (corl b a))
2323```
2424
2525#### Examples
@@ -27,13 +27,12 @@ Build `f` such that `(f x) .= (b (a x))`.
2727```
2828 > (:(cork dec dec dec) 20)
2929 17
30−
31− > =mal (mo (limo a+15 b+23 ~))
32− > ((cork ~(got by mal) dec) %a)
33− 14
34−
35− > ((cork ~(got by mal) dec) %b)
36− 22
30+
31+ > `@ub`(bex (met 0 23))
32+ 0b10.0000
33+
34+ > `@ub`((cork (cury met 0) bex) 23)
35+ 0b10.0000
3736```
3837
3938---
@@ -52,11 +51,12 @@ Build `f` such that
5251#### Source
5352
5453```hoon
55− ++ corl
56− |* [a=gate b=_|=(* **)]
57− =< +:|.((a (b))) :: span check
58− |* c=_+<.b
59− (a (b c))
54+++ corl :: compose backwards
55+ |* [a=$-(* *) b=$-(* *)]
56+ =< +:|.((a (b))) :: type check
57+ =+ c=+<.b
58+ |@ ++ $ (a (b c))
59+ --
6060```
6161
6262#### Examples