links: type-checking-and-type-inference.md
commit42156dc23428917c359c63043a08db7860ec7610
authordrbeefsupreme <drbeefsupreme@discordja.net>
dateFri 19 Feb 2021, 12:50 (6 years ago)
parent2b2da5a
hoon/hoon-school/doors.md+1−1
@@ -369,7 +369,7 @@ In the above example we created a door `c` with sample `b=@` and found that the
369369 ++ greater |=(a=@ (gth a b))
370370 --
371371```
372−Here the type of `b` is inferred to be `@` based on the example value `7`, similar to how we've seen casting done by example. You will learn more about how types are inferred in [Lesson 2.2](@docs/tutorials/hoon/hoon-school/type-checking-and-type-inference).
372+Here the type of `b` is inferred to be `@` based on the example value `7`, similar to how we've seen casting done by example. You will learn more about how types are inferred in [Lesson 2.2](@docs/hoon/hoon-school/type-checking-and-type-inference.md).
373373
374374### Doors in the Hoon Standard Library
375375