1.
Introduction
2.
Installation
3.
Editor Setup
4.
Blinky
4.1.
Blinky (for software people)
4.2.
Blinky (for hardware people)
5.
Units
6.
Simulation and Testing
7.
Ports and Wires
8.
Interfacing with Verilog
9.
Sample project: ws2128 RGB LED driver
9.1.
Creating a Project
9.2.
Led Protocol Overview
9.3.
Driver Interface
9.4.
State Machine
9.5.
Testing the State Machine
9.6.
Output generation
9.7.
Testing in hardware
10.
Language Reference
10.1.
Items
10.1.1.
Units
10.1.2.
Type Declarations
10.2.
Statements
10.3.
Expressions
10.3.1.
Blocks
10.3.2.
If
10.3.3.
Match
10.3.4.
Instantiation
10.3.5.
Indexing
10.3.6.
Stage References
10.4.
Patterns
10.4.1.
Refutability
10.5.
Type system
10.5.1.
Primitive Types
10.5.2.
Generics
10.5.3.
Ports and Wires
10.6.
Dynamic Pipelines
10.7.
Binding
10.8.
Constructs by syntax
11.
Swim Project Configuration
12.
Swim Plugin Configuration
13.
Compiler Internals
13.1.
Naming
13.2.
Type Representation
Light (default)
Rust
Coal
Navy
Ayu
The Spade Programming Language
Full documentation of the type system is yet to be written.