A very interesting Hardware Description Language heavily influenced by Rust
https://docs.spade-lang.org/introduction.html
Corrections
https://docs.spade-lang.org/variables.html
Variables
take_uint8 → take_uint16
Units
The basic syntax for defining all three before mentioning the three
typeinference → type inference
Simulation and Testing
hits constructor → its constructor ??
Driver interface
NumLjds → NumLeds