links: ket.md
commit1783b23a25bdab326b2db5d81c00be5a4eebc710
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateFri 19 Feb 2021, 13:59 (6 years ago)
parent0252eb7
hoon/hoon-school/recursion.md+1−1
@@ -179,7 +179,7 @@ of. That's because a gate is just a [core](/docs/glossary/core/) with a single a
179179subject is searched depth-first, head before tail, with faces skipped, and
180180stopping on the first result. In other words, the first match found in the head
181181will 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
183183skips the first match of a name.
184184
185185### Exercises
hoon/reference/irregular.md+2−2
@@ -175,7 +175,7 @@ Lets us adjust types without violating type constraints.
175175
176176### ^- kethep
177177
178−[docs](@/docs/reference/hoon-expressions/rune/ket.md#kethep) \\\`
178+[docs](@/docs/hoon/reference/rune/ket.md#kethep) \\\`
179179`[%kthp p=model q=value]`: typecast by mold.
180180
181181R: `^-(p q)`
@@ -183,7 +183,7 @@ I: `` `p`q ``
183183
184184### ^= kettis
185185
186−[docs](@/docs/reference/hoon-expressions/rune/ket.md#kettis) \\=
186+[docs](@/docs/hoon/reference/rune/ket.md#kettis) \\=
187187`[%ktts p=toga q=value]`: name a value.
188188
189189R: `^=(p q)`
hoon/reference/runes/_index.md+1−1
@@ -51,7 +51,7 @@ Runes used to produce cells, which are pairs of nouns.
5151
5252Runes used for making function calls in Hoon.
5353
54−### [`^ ket` (Casts)](@/docs/reference/hoon-expressions/rune/ket.md)
54+### [`^ ket` (Casts)](@/docs/hoon/reference/rune/ket.md)
5555
5656Runes that let us adjust types without violating type constraints.
5757
hoon/reference/runes/buc.md+1−1
@@ -366,7 +366,7 @@ $~ p=hoon q=spec
366366
367367##### Discussion
368368
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).)
370370
371371Do not confuse the `$~` rune with the constant type for null, `$~`. (The latter uses older Hoon syntax that is still accepted. Preferably it would be `%~`.)
372372