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. Spade projects and Swim
17. 9. Simulation and Testing
18. 10. Namespaces
19. 11. Ports and Wires
20. 12. Interfacing with Verilog
22. Example projects
23. 13. Sample project: ws2128 RGB LED driver
24. 1. 13.1. Creating a Project
    2. 13.2. Led Protocol Overview
    3. 13.3. Driver Interface
    4. 13.4. State Machine
    5. 13.5. Testing the State Machine
    6. 13.6. Output generation
    7. 13.7. Testing in hardware
26. Agile Hardware Design Tutorial
27. 14. Introduction
28. 15. Installing Spade
29. 16. Pipelines and Timing Agility
30. 17. Fearless Refactoring with Types
32. Language & Tool References
33. 18. Language Reference
34. 1. 18.1. Items
    2. 1. 18.1.1. Units
       2. 18.1.2. Type Declarations
    3. 18.2. Statements
    4. 18.3. Expressions
    5. 1. 18.3.1. Blocks
       2. 18.3.2. If
       3. 18.3.3. Match
       4. 18.3.4. Instantiation
       5. 18.3.5. Indexing
       6. 18.3.6. Stage References
    6. 18.4. Patterns
    7. 1. 18.4.1. Refutability
    8. 18.5. Type system
    9. 1. 18.5.1. Primitive Types
       2. 18.5.2. Generics
       3. 18.5.3. Ports and Wires
    10. 18.6. Dynamic Pipelines
    11. 18.7. Binding
    12. 18.8. Constructs by syntax
35. 19. Swim
36. 1. 19.1. Installing Swim
    2. 19.2. Using Swim
    3. 19.3. Custom Subcommands
    4. 19.4. Project Configuration
    5. 19.5. Plugin Configuration
39. 20. Compiler Internals
40. 1. 20.1. Naming
    2. 20.2. Type Representation