git.iko.soy/urbit.org
on master help sign in
links: advanced.md
commitfabfb8e9696a0a95e5b3687b0397be796998a2e1 authordrbeefsupreme <drbeefsupreme@discordja.net> dateFri 19 Feb 2021, 13:20 (6 years ago) parent70c325e
4 files changed+6−6
compare with master
unifiedsplit
hoon/reference/basic.md+1−1 hoon/reference/runes/bar.md+3−3 hoon/reference/runes/ket.md+1−1 old/reference/hoon-expressions/_index.md+1−1
hoon/reference/basic.md+1−1
@@ -32,7 +32,7 @@ including both faces and arm names. (See Chapter 1 of the Hoon tutorial for an
3232introduction to name resolution.)
3333
3434As noted, this is a simplified version of `type`. We undo and
35−explain the simplifications in the [advanced types](@/docs/reference/hoon-expressions/advanced.md)
35+explain the simplifications in the [advanced types](@/docs/hoon/reference/advanced.md)
3636section.
3737
3838```hoon
hoon/reference/runes/bar.md+3−3
@@ -493,7 +493,7 @@ A `|~` expression produces an iron gate. `a` defines the sample, and `b` define
493493
494494##### Discussion
495495
496−See [this discussion of core variance models](@/docs/reference/hoon-expressions/advanced.md)
496+See [this discussion of core variance models](@/docs/hoon/reference/advanced.md)
497497
498498##### Examples
499499
@@ -663,7 +663,7 @@ A `|@` expression produces a 'wet' core whose payload is the expression's subjec
663663
664664##### Discussion
665665
666−The `|@` rune is just like the `|%` rune except that instead of producing a 'dry' core, it produces a 'wet' one. This allows for type polymorphism of its arms, using 'genericity'. See [Advanced types](@/docs/reference/hoon-expressions/advanced.md).
666+The `|@` rune is just like the `|%` rune except that instead of producing a 'dry' core, it produces a 'wet' one. This allows for type polymorphism of its arms, using 'genericity'. See [Advanced types](@/docs/hoon/reference/advanced.md).
667667
668668### `|?` "barwut"
669669
@@ -695,7 +695,7 @@ A `|?` expression produces a lead trap (i.e., a lead core with one arm named `$`
695695
696696##### Discussion
697697
698−See this [discussion of the core variance model](@/docs/reference/hoon-expressions/advanced.md).
698+See this [discussion of the core variance model](@/docs/hoon/reference/advanced.md).
699699
700700##### Examples
701701
hoon/reference/runes/ket.md+1−1
@@ -203,7 +203,7 @@ Regular: **1-fixed**.
203203
204204##### Discussion
205205
206−A zinc core has a read-only sample and an opaque context. See [Advanced types](@/docs/reference/hoon-expressions/advanced.md).
206+A zinc core has a read-only sample and an opaque context. See [Advanced types](@/docs/hoon/reference/advanced.md).
207207
208208##### Examples
209209
old/reference/hoon-expressions/_index.md+1−1
@@ -19,7 +19,7 @@ Limbs and wings are ways to extract data from the subject.
1919
2020A simplified explanation of of the Hoon type system.
2121
22−## [Advanced Types](@/docs/reference/hoon-expressions/advanced.md)
22+## [Advanced Types](@/docs/hoon/reference/advanced.md)
2323
2424A more comprehensive explanation of the Hoon type system, covering aliasing and polymorphism.
2525