* Normal form
* Rules used
. Properties / Proofs (termination, soundness, completeness, determinism)
- Casts / Strictness / Casebinders not fully supported
Future work
-. Boilerplate reduction (State distribution & pipelining)
+* Boilerplate reduction (State distribution & pipelining)
* Recursion
* Multiple time domains (Events) -- Also, clock line optimization /
-- write enable
TODO: Comiler vs translator
TODO: Hardware description / model vs program
TODO: State & pattern matches
+TODO: Separate compilation / Prelude
+TODO: Add case binder removal transformation