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. Types
13. 1. 6.1. Enums and Pattern Matching
14. 7. Pipelines
15. 1. 7.1. Pipelines (for software people)
    2. 7.2. Pipelines (for hardware people)
16. 8. Simulation and Testing
17. 9. Ports and Wires
18. 10. Interfacing with Verilog
20. Example projects
21. 11. Sample project: ws2128 RGB LED driver
22. 1. 11.1. Creating a Project
    2. 11.2. Led Protocol Overview
    3. 11.3. Driver Interface
    4. 11.4. State Machine
    5. 11.5. Testing the State Machine
    6. 11.6. Output generation
    7. 11.7. Testing in hardware
24. Language & Tool References
25. 12. Language Reference
26. 1. 12.1. Items
    2. 1. 12.1.1. Units
       2. 12.1.2. Type Declarations
    3. 12.2. Statements
    4. 12.3. Expressions
    5. 1. 12.3.1. Blocks
       2. 12.3.2. If
       3. 12.3.3. Match
       4. 12.3.4. Instantiation
       5. 12.3.5. Indexing
       6. 12.3.6. Stage References
    6. 12.4. Patterns
    7. 1. 12.4.1. Refutability
    8. 12.5. Type system
    9. 1. 12.5.1. Primitive Types
       2. 12.5.2. Generics
       3. 12.5.3. Ports and Wires
    10. 12.6. Dynamic Pipelines
    11. 12.7. Binding
    12. 12.8. Constructs by syntax
27. 13. Swim
28. 1. 13.1. Installing Swim
    2. 13.2. Using Swim
    3. 13.3. Custom Subcommands
    4. 13.4. Project Configuration
    5. 13.5. Plugin Configuration
31. 14. Compiler Internals
32. 1. 14.1. Naming
    2. 14.2. Type Representation