@@ -23,13 +23,38 @@ The first three lessons take you through a simple Hoon program, explain Hoon's s
28+- [1.1 Getting Started](getting-started)
30+- [1.3 The Subject and Its Legs](the-subject-and-its-legs)
31+- [1.4 Arms and Cores](arms-and-cores)
32+- [1.5 Gates (Hoon Functions)](gates)
33+- [1.6 Multi-gate Cores and Doors](multi-gate-cores-and-doors)
37+- [2.1 Hoon Programs](hoon-programs)
38+- [2.2 Hoon Syntax](hoon-syntax)
39+- [2.3 Simple One-Gate Programs](simple-one-gate-programs)
40+- [2.4 Atoms, Auras, and Simple Cell Types](atoms-auras-and-simple-cell-types)
41+- [2.5 Type Checking and Type Inference](type-checking-and-type-inference)
42+- [2.6 Structures and Complex Types](structures-and-complex-types)
44+- [2.8 Cores Again](cores-again)
45+- [2.9 Standard Library: Lists](lists)
46+- [2.10 Standard Library: Trees, Sets, and Maps](trees-sets-and-maps)
47+- [2.11 Examples](examples)
51+- [3.1 Type Polymorphism](polymorphism)
28## Other Resources
53## Other Resources
30Consult the [Reference section](/docs/reference/) to look up any unknown rune or standard library function you don't understand.
55Consult the [Reference section](/docs/reference/) to look up any unknown rune or standard library function you don't understand.
32−As you work your way through these lessons you may want to work on example problems from the [Hoon workbook](link) for practice. Once you finish the lessons here you may want to write more versatile Hoon programs which can make use of more of your urbit's environment, in which case you'll want to check out the [Generators](/docs/learn/arvo/arvo-internals/generators) documentation. Or maybe you'd like to learn how to write a [Gall app](/docs/learn/arvo/arvo-internals/gall). Learn about [Udon](/docs/learn/arvo/arvo-internals/udon), Urbit's stripped down version of Markdown. Or learn [Sail](/docs/learn/arvo/arvo-internals/sail), a subset of Hoon used for generating XML nodes.
57+As you work your way through these lessons you may want to work on example problems from the [Hoon Workbook](../workbook) for practice. Once you finish the lessons here you may want to write more versatile Hoon programs which can make use of more of your urbit's environment, in which case you'll want to check out the [Generators](/docs/learn/arvo/arvo-internals/generators) documentation. Or maybe you'd like to learn how to write a [Gall app](/docs/learn/arvo/arvo-internals/gall). Learn about [Udon](/docs/learn/arvo/arvo-internals/udon), Urbit's stripped down version of Markdown. Or learn [Sail](/docs/learn/arvo/arvo-internals/sail), a subset of Hoon used for generating XML nodes.
35−> Last major revision of this section: December 2018
60+> Last major revision of this section: February 2019