- Normal form
- Rules used
- Completeness / conditions on input
- Termination
- Casts
-
-Context
-
-Other FHDLs
-
-VHDL / Verilog / EDIF etc.
-
-Advantages of clash / why clash?
-
-Haskell as hardware
- Dependent types
- Impossible things: Infinite recursion, higher order expressions
-
-Haskell language coverage / constraints
- Recursion
- Builtin types
- Custom types (Sum types, product types)
- Function types / higher order expressions
+* Normal form
+* Rules used
+. Properties / Proofs (termination, soundness, completeness, determinism)
+ Casts / Strictness / Casebinders not fully supported