1. 1. Introduction
2. 1. 1.1. This project's goals
   2. 1.2. Why Types
3. 2. Programming with types in Teal
4. 1. 2.1. Installing tl
   2. 2.2. Your first Teal program
   3. 2.3. Types in Teal
   4. 1. 2.3.1. Arrays
      2. 2.3.2. Tuples
      3. 2.3.3. Maps
      4. 2.3.4. Records
      5. 2.3.5. Interfaces
      6. 2.3.6. Generics
      7. 2.3.7. Enums
      8. 2.3.8. Functions
      9. 2.3.9. Union types
      10. 2.3.10. The type "any"
   5. 2.4. Local variables
   6. 2.5. Global variables
   7. 2.6. Variable attributes
   8. 2.7. Metamethods
   9. 2.8. Macro expressions
5. 3. Behavior rules
6. 1. 3.1. Type aliasing rules
   2. 3.2. Type variable matching
   3. 3.3. Pragmas
   4. 3.4. Current limitations on union types
7. 4. Using tl with Lua
8. 5. Type definitions for third party libraries
9. 6. The Teal Standard Library and Lua compatibility
10. 7. Compiler options
11. 8. Hacking on tl itself
12. 9. The Grammar of Teal
13. 10. Other related projects