git.iko.soy/urbit.org
on master help sign in
Merge pull request #29 from joemfb/form-not-function
fa957cfGalen Wolfe-Pauly
docs/hoon/twig/buc-mold.md+1−1
compare with master
unifiedsplit
@@ -45,7 +45,7 @@ In any case, since molds are just functions, we can use
45functional programming to assemble interesting molds. For
45functional programming to assemble interesting molds. For
46instance, `(map foo bar)` is a table from mold `foo` to mold
46instance, `(map foo bar)` is a table from mold `foo` to mold
47`bar`. `map` is not a mold; it's a function that makes a mold.
47`bar`. `map` is not a mold; it's a function that makes a mold.
48−Molds and mold builder sare generally described together.
48+Molds and mold builders are generally described together.
49
49
50## Stems
50## Stems
51
51
docs/hoon/twig/cen-call/tis-make.md+2−2
@@ -26,9 +26,9 @@ Irregular: `foo(x 1, y 2, z 3)` is `:make(foo x 1, y 2, z 3)`.
26Note that `p` is a wing, not a twig. Knowing that a function
26Note that `p` is a wing, not a twig. Knowing that a function
27call `(foo bar)` involves making `foo`, replacing its sample
27call `(foo bar)` involves making `foo`, replacing its sample
28at slot `+6` with `bar`, and taking the `$` limb, you might think
28at slot `+6` with `bar`, and taking the `$` limb, you might think
29−`(foo bar)` would mean `:(make foo +6 bar)`.
29+`(foo bar)` would mean `:make(foo +6 bar)`.
30
30
31−But it's actually `:pin(foo :(make $ +2 +6 bar))`. Even if `foo`
31+But it's actually `:pin(foo :make($ +2 +6 bar))`. Even if `foo`
32is a wing, we would just be mutating `+6` within the core that
32is a wing, we would just be mutating `+6` within the core that
33defines the `foo` arm. Instead we want to modify the *product*
33defines the `foo` arm. Instead we want to modify the *product*
34of `foo` -- the gate -- so we have to pin it into the subject.
34of `foo` -- the gate -- so we have to pin it into the subject.
docs/hoon/twig/tis-flow/fas-var.md+1−1
@@ -11,7 +11,7 @@ noun with the subject.
11## Expands to
11## Expands to
12
12
13```
13```
14−?@(p :pin(:name(p q) r) :pin(:cast(:(coat p) q) r)
14+?@(p :pin(:name(p q) r) :pin(:cast(:coat(p q) r)
15```
15```
16
16
17## Syntax
17## Syntax
docs/hoon/twig/tis-flow/sem-rev.md+1−1
@@ -11,7 +11,7 @@ subject, inverted.
11## Expands to
11## Expands to
12
12
13```
13```
14−?@(p :pin(:name(p r) q) :pin(:cast(:(coat p) r) q)
14+?@(p :pin(:name(p r) q) :pin(:cast(:coat(p r) q)
15```
15```
16
16
17## Syntax
17## Syntax
docs/hoon/twig/wut-test/col-if.md+1−1
@@ -30,7 +30,7 @@ Regular: *3-fixed*.
30
30
31Short-circuiting in boolean tests works as you'd expect
31Short-circuiting in boolean tests works as you'd expect
32and includes the expected inference. For instance,
32and includes the expected inference. For instance,
33−if you write `:(and a b)`, `b` is only executed if `a` is
33+if you write `:and(a b)`, `b` is only executed if `a` is
34positive, and compiled with that assumption.
34positive, and compiled with that assumption.
35
35
36Note also that all other branching twigs reduce to `:if`.
36Note also that all other branching twigs reduce to `:if`.