Introduction
Installation
Working with this tutorial
Your first circuit
Sequential circuit
Generating VHDL
Circuit testbench
Generating Verilog and SystemVerilog
Alternative specifications
Higher-order functions
Composition of sequential circuits
TopEntity annotations: controlling the VHDL/(System)Verilog generation.
Multiple clock domains
Advanced: Primitives
Verilog primitives
SystemVerilog primitives
Conclusion
Troubleshooting
Unsupported Haskell features
CλaSH vs Lava