git.iko.soy/urbit.org
on master help sign in
links: ket.md
1783b23drbeefsupreme
hoon/hoon-school/recursion.md+1−1
compare with master
unifiedsplit
@@ -179,7 +179,7 @@ of. That's because a gate is just a [core](/docs/glossary/core/) with a single a
179subject is searched depth-first, head before tail, with faces skipped, and
179subject is searched depth-first, head before tail, with faces skipped, and
180stopping on the first result. In other words, the first match found in the head
180stopping on the first result. In other words, the first match found in the head
181will be returned. If you wished to refer to the outer `$` in this context, the
181will be returned. If you wished to refer to the outer `$` in this context, the
182−idiomatic way would be to use [`^$`](@/docs/reference/hoon-expressions/rune/ket.md). The `^` operator
182+idiomatic way would be to use [`^$`](@/docs/hoon/reference/rune/ket.md). The `^` operator
183skips the first match of a name.
183skips the first match of a name.
184
184
185### Exercises
185### Exercises
hoon/reference/irregular.md+2−2
@@ -175,7 +175,7 @@ Lets us adjust types without violating type constraints.
175
175
176### ^- kethep
176### ^- kethep
177
177
178−[docs](@/docs/reference/hoon-expressions/rune/ket.md#kethep) \\\`
178+[docs](@/docs/hoon/reference/rune/ket.md#kethep) \\\`
179`[%kthp p=model q=value]`: typecast by mold.
179`[%kthp p=model q=value]`: typecast by mold.
180
180
181R: `^-(p q)`
181R: `^-(p q)`
@@ -183,7 +183,7 @@ I: `` `p`q ``
183
183
184### ^= kettis
184### ^= kettis
185
185
186−[docs](@/docs/reference/hoon-expressions/rune/ket.md#kettis) \\=
186+[docs](@/docs/hoon/reference/rune/ket.md#kettis) \\=
187`[%ktts p=toga q=value]`: name a value.
187`[%ktts p=toga q=value]`: name a value.
188
188
189R: `^=(p q)`
189R: `^=(p q)`
hoon/reference/runes/_index.md+1−1
@@ -51,7 +51,7 @@ Runes used to produce cells, which are pairs of nouns.
51
51
52Runes used for making function calls in Hoon.
52Runes used for making function calls in Hoon.
53
53
54−### [`^ ket` (Casts)](@/docs/reference/hoon-expressions/rune/ket.md)
54+### [`^ ket` (Casts)](@/docs/hoon/reference/rune/ket.md)
55
55
56Runes that let us adjust types without violating type constraints.
56Runes that let us adjust types without violating type constraints.
57
57
hoon/reference/runes/buc.md+1−1
@@ -366,7 +366,7 @@ $~ p=hoon q=spec
366
366
367##### Discussion
367##### Discussion
368
368
369−You should make sure that the product type of `p` nests under `q`. You can check the default value of some structure (custom type) `r` with `*r`. (See the [`^*` rune](@/docs/reference/hoon-expressions/rune/ket.md#kettar).)
369+You should make sure that the product type of `p` nests under `q`. You can check the default value of some structure (custom type) `r` with `*r`. (See the [`^*` rune](@/docs/hoon/reference/rune/ket.md#kettar).)
370
370
371Do not confuse the `$~` rune with the constant type for null, `$~`. (The latter uses older Hoon syntax that is still accepted. Preferably it would be `%~`.)
371Do not confuse the `$~` rune with the constant type for null, `$~`. (The latter uses older Hoon syntax that is still accepted. Preferably it would be `%~`.)
372
372