1. 1. Introduction
3. Getting started
4. 2. Installation
5. 3. Editor Setup
7. The Spade language
8. 4. Blinky
9. 1. 4.1. Blinky (for software people)
   2. 4.2. Blinky (for hardware people)
10. 5. Common Language Constructs
11. 1. 5.1. Basic Expressions
    2. 5.2. Spicy Expressions
    3. 5.3. Variables
    4. 5.4. Units
12. 6. Pipelines
13. 1. 6.1. Pipelines (for software people)
    2. 6.2. Pipelines (for hardware people)
14. 7. Simulation and Testing
15. 8. Ports and Wires
16. 9. Interfacing with Verilog
18. Example projects
19. 10. Sample project: ws2128 RGB LED driver
20. 1. 10.1. Creating a Project
    2. 10.2. Led Protocol Overview
    3. 10.3. Driver Interface
    4. 10.4. State Machine
    5. 10.5. Testing the State Machine
    6. 10.6. Output generation
    7. 10.7. Testing in hardware
22. Language & Tool References
23. 11. Language Reference
24. 1. 11.1. Items
    2. 1. 11.1.1. Units
       2. 11.1.2. Type Declarations
    3. 11.2. Statements
    4. 11.3. Expressions
    5. 1. 11.3.1. Blocks
       2. 11.3.2. If
       3. 11.3.3. Match
       4. 11.3.4. Instantiation
       5. 11.3.5. Indexing
       6. 11.3.6. Stage References
    6. 11.4. Patterns
    7. 1. 11.4.1. Refutability
    8. 11.5. Type system
    9. 1. 11.5.1. Primitive Types
       2. 11.5.2. Generics
       3. 11.5.3. Ports and Wires
    10. 11.6. Dynamic Pipelines
    11. 11.7. Binding
    12. 11.8. Constructs by syntax
25. 12. Swim
26. 1. 12.1. Installing Swim
    2. 12.2. Using Swim
    3. 12.3. Custom Subcommands
    4. 12.4. Project Configuration
    5. 12.5. Plugin Configuration
29. 13. Compiler Internals
30. 1. 13.1. Naming
    2. 13.2. Type Representation