Introduction
Installation
Working with this tutorial
Your first circuit
Sequential circuit
Generating VHDL
Circuit testbench
Generating SystemVerilog
Alternative specifications
Higher-order functions
Composition of sequential circuits
Advanced: Primitives
SystemVerilog primitives
Conclusion
Troubleshooting
Unsupported Haskell features
CλaSH vs Lava