git.iko.soy/urbit.org
on master help sign in
links: type-polymorphism.md
e97509bdrbeefsupreme
hoon/hoon-school/molds.md+1−1
compare with master
unifiedsplit
@@ -44,7 +44,7 @@ To coerce using a gate, it's good practice to use the `;;` rune, which can parse
44`|$` implements [parametric
44`|$` implements [parametric
45polymorphism](https://en.wikipedia.org/wiki/Parametric_polymorphism) in Hoon,
45polymorphism](https://en.wikipedia.org/wiki/Parametric_polymorphism) in Hoon,
46and as such we call gates produced with `|$` a **wet gate**. We discuss what this
46and as such we call gates produced with `|$` a **wet gate**. We discuss what this
47−means in further detail in the upcoming lesson on [polymorphism](@/docs/tutorials/hoon/hoon-school/type-polymorphism.md).
47+means in further detail in the upcoming lesson on [polymorphism](@/docs/hoon/hoon-school/type-polymorphism.md).
48
48
49Let's look at some examples from `hoon.hoon`.
49Let's look at some examples from `hoon.hoon`.
50```hoon
50```hoon
hoon/hoon-school/structures-and-complex-types.md+1−1
@@ -352,5 +352,5 @@ Often `$@` is used to define a type with a null or trivial case for the `@` case
352
352
353Now the `~` value is included as a possible value for `user`.
353Now the `~` value is included as a possible value for `user`.
354
354
355−We will see types arise again, in the context of polymorphism in [Lesson 2.5](@/docs/tutorials/hoon/hoon-school/type-polymorphism.md).
355+We will see types arise again, in the context of polymorphism in [Lesson 2.5](@/docs/hoon/hoon-school/type-polymorphism.md).
356
356