@@ -369,7 +369,7 @@ In the above example we created a door `c` with sample `b=@` and found that the
369 ++ greater |=(a=@ (gth a b))
369 ++ greater |=(a=@ (gth a b))
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).
374### Doors in the Hoon Standard Library
374### Doors in the Hoon Standard Library