1.
Introduction
2.
Installation
3.
Simulation and Testing
4.
Ports and Wires
5.
Interfacing with Verilog
6.
Sample project: ws2128 RGB LED driver
6.1.
Creating a Project
6.2.
Led Protocol Overview
6.3.
Driver Interface
6.4.
State Machine
6.5.
Testing the State Machine
6.6.
Output generation
6.7.
Testing in hardware
7.
Language Reference
7.1.
Items
7.1.1.
Units
7.1.2.
Type Declarations
7.2.
Statements
7.3.
Expressions
7.3.1.
Blocks
7.3.2.
If
7.3.3.
Match
7.3.4.
Instantiation
7.3.5.
Indexing
7.3.6.
Stage References
7.4.
Patterns
7.4.1.
Refutability
7.5.
Type system
7.5.1.
Primitive Types
7.5.2.
Generics
7.5.3.
Ports and Wires
7.6.
Dynamic Pipelines
7.7.
Binding
7.8.
Constructs by syntax
8.
Swim Project Configuration
9.
Swim Plugin Configuration
10.
Compiler Internals
10.1.
Naming
10.2.
Type Representation
Light (default)
Rust
Coal
Navy
Ayu
The Spade Programming Language
Full documentation of the type system is yet to be written.