git.iko.soy/urbit.org
on master help sign in
Various typos/corrections
58d497d~hidwes-matped
docs/hoon/twig/bar-core/cen-core.md+1−1
compare with master
unifiedsplit
@@ -27,7 +27,7 @@ an argument. A "method" on a core is an arm producing a gate.
27A trivial core:
27A trivial core:
28
28
29```
29```
30−~zod:dojo> =foo =+ x 58
30+~zod:dojo> =foo =+ x=58
31 |%
31 |%
32 ++ n (add 42 x)
32 ++ n (add 42 x)
33 ++ g |= b/@
33 ++ g |= b/@
docs/hoon/twig/buc-mold/cab-shoe.md+1−1
@@ -26,7 +26,7 @@ Irregular: `_foo` is `:shoe(foo)`.
26
26
27## Discussion
27## Discussion
28
28
29−A shoe discards the sample it's supposededly normalizing, and
29+A shoe discards the sample it's supposedly normalizing, and
30produces its example instead.
30produces its example instead.
31
31
32## Examples
32## Examples
docs/hoon/twig/dot-nock/ket-wish.md−3
@@ -19,6 +19,3 @@ typed immutable namespace defined by its virtual context.
19
19
20We don't remold dynamically nouns in a `:wish`, but we do check
20We don't remold dynamically nouns in a `:wish`, but we do check
21that the type of the value nests in `p`.
21that the type of the value nests in `p`.
22−
23−## Examples
24−
docs/hoon/twig/dot-nock/lus-bump.md+1−1
@@ -5,7 +5,7 @@ sort: 3
5
5
6# `:bump .+ "dotlus"`
6# `:bump .+ "dotlus"`
7
7
8−`{$bump p/seed}`: increment an atom with Nock `4`.
8+`{$bump p/atom}`: increment an atom with Nock `4`.
9
9
10## Produces
10## Produces
11
11
docs/hoon/twig/tis-flow/fas-var.md+3−3
@@ -54,9 +54,9 @@ Regular: *3-fixed*.
54
54
55## Discussion
55## Discussion
56
56
57−`p` can be either a symbol or a symbol/mold. If it's just a
57+`p` can be either a symbol or a symbol/mold. If it's just a symbol,
58−symbol, `:var` "declares a type-inferred variable." It has a
58+`:var` "declares a type-inferred variable." If it has a mold, `:var`
59−mold, `:var` "declares a type-checked variable."
59+"declares a type-checked variable."
60
60
61## Examples
61## Examples
62
62
docs/hoon/twig/tis-flow/hep-nip.md+1−1
@@ -5,7 +5,7 @@ sort: 4
5
5
6# `:nip =- "tishep"`
6# `:nip =- "tishep"`
7
7
8−`{$pin p/seed q/seed}`: combine a new noun with the subject, inverted.
8+`{$nip p/seed q/seed}`: combine a new noun with the subject, inverted.
9
9
10## Expands to
10## Expands to
11
11
docs/hoon/twig/wut-test/hep-case.md+14
@@ -56,6 +56,20 @@ will throw `mint-vain`. (Ecclesiastes did nothing wrong.)
56
56
57## Examples
57## Examples
58
58
59+```
60+~zod:dojo> =cor :gate vat/?($a $b)
61+ :case vat
62+ $a 20
63+ $b 42
64+ ==
65+~zod:dojo> (cor %a)
66+20
67+~zod:dojo> (cor %b)
68+42
69+~zod:dojo> (cor %c)
70+! nest-fail
71+```
72+
59```
73```
60~zod:dojo> =cor |= vat/?($a $b)
74~zod:dojo> =cor |= vat/?($a $b)
61 ?- vat
75 ?- vat
docs/hoon/twig/wut-test/sig-ifno.md+1−1
@@ -34,5 +34,5 @@ only for a true null, `~`.
34```
34```
35~zod:dojo> =foo ""
35~zod:dojo> =foo ""
36~zod:dojo> ?~(foo 1 2)
36~zod:dojo> ?~(foo 1 2)
37−11
37+1
38```
38```