links: type-polymorphism.md
commite97509b5b80721969923fe2b539eb4be7d5f4edf
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateFri 19 Feb 2021, 12:51 (6 years ago)
parent42156dc
hoon/hoon-school/molds.md+1−1
@@ -44,7 +44,7 @@ To coerce using a gate, it's good practice to use the `;;` rune, which can parse
4444`|$` implements [parametric
4545polymorphism](https://en.wikipedia.org/wiki/Parametric_polymorphism) in Hoon,
4646and 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).
4848
4949Let's look at some examples from `hoon.hoon`.
5050```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
352352
353353Now the `~` value is included as a possible value for `user`.
354354
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).
356356