@@ -352,4 +352,4 @@ Now the `~` value is included as a possible value for `user`.
353That's all we have to say about types in this chapter. More on types in [Chapter 3](@/docs/learn/hoon/hoon-tutorial/type-polymorphism.md).
353That's all we have to say about types in this chapter. More on types in [Chapter 3](@/docs/learn/hoon/hoon-tutorial/type-polymorphism.md).
355−### [Next Up: Walkthrough -- Taxonomy](../taxonomy)
355+### [Next Up: Walkthrough -- Libraries](../libraries)