8bd0b6d · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

Merge pull request #764 from urbit/cork-fix

8bd0b6dpoprox5 years ago

content/docs/hoon/reference/stdlib/2n.md+13−13

compare with master

unifiedsplit

@@ -19,7 +19,7 @@ Build `f` such that `(f x) .= (b (a x))`.

19#### Source

21```hoon

22− ++ cork |*([a=_|=(* **) b=gate] (corl b a))

22+++ cork |*([a=$-(* *) b=$-(* *)] (corl b a))

23```

25#### Examples

@@ -27,13 +27,12 @@ Build `f` such that `(f x) .= (b (a x))`.

27```

28 > (:(cork dec dec dec) 20)

29 17

30−

30+

31− > =mal (mo (limo a+15 b+23 ~))

31+ > `@ub`(bex (met 0 23))

32− > ((cork ~(got by mal) dec) %a)

32+ 0b10.0000

33− 14

33+

34−

34+ > `@ub`((cork (cury met 0) bex) 23)

35− > ((cork ~(got by mal) dec) %b)

35+ 0b10.0000

36− 22

37```

36```

39---

38---

@@ -52,11 +51,12 @@ Build `f` such that

52#### Source

51#### Source

54```hoon

53```hoon

55− ++ corl

54+++ corl :: compose backwards

56− |* [a=gate b=_|=(* **)]

55+ |* [a=$-(* *) b=$-(* *)]

57− =< +:|.((a (b))) :: span check

56+ =< +:|.((a (b))) :: type check

58− |* c=_+<.b

57+ =+ c=+<.b

59− (a (b c))

58+ |@ ++ $ (a (b c))

59+ --

60```

62#### Examples