fabfb8e · urbit.org · git.iko.soy

hoon/reference/basic.md+1−1

compare with master

unifiedsplit

@@ -32,7 +32,7 @@ including both faces and arm names. (See Chapter 1 of the Hoon tutorial for an

32introduction to name resolution.)

33

34As 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)

36section.

37

38```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

493

494##### Discussion

495

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)

497

498##### Examples

499

@@ -663,7 +663,7 @@ A `|@` expression produces a 'wet' core whose payload is the expression's subjec

663

664##### Discussion

665

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).

667

668### `|?` "barwut"

669

@@ -695,7 +695,7 @@ A `|?` expression produces a lead trap (i.e., a lead core with one arm named `$`

695

696##### Discussion

697

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).

699

700##### Examples

701

hoon/reference/runes/ket.md+1−1

@@ -203,7 +203,7 @@ Regular: **1-fixed**.

203

204##### Discussion

205

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).

207

208##### Examples

209

old/reference/hoon-expressions/_index.md+1−1

@@ -19,7 +19,7 @@ Limbs and wings are ways to extract data from the subject.

19

20A simplified explanation of of the Hoon type system.

21

22−## [Advanced Types](@/docs/reference/hoon-expressions/advanced.md)

22+## [Advanced Types](@/docs/hoon/reference/advanced.md)

23

24A more comprehensive explanation of the Hoon type system, covering aliasing and polymorphism.

25