2 Other FHDLs (short, Christiaan has details)
4 Advantages of clash / why clash?
6 VHDL / Verilog / EDIF etc. Why VHDL?
10 Simple function -> component interpretation (Model: Structure)
12 Explicit vs implicit passing of state (e.g, delay)
13 Explicit vs implicit marking
14 Interpret: Polymorphism
15 Interpret: Higher order
17 Impossible things: Infinite recursion, higher order expressions
21 Core - description of the language (appendix?)
22 Stages (-> Core, Normalization, -> VHDL)
25 Haskell language coverage / constraints
28 Custom types (Sum types, product types)
29 Function types / higher order expressions
34 Completeness / conditions on input
39 Boilerplate reduction (State distribution & pipelining)
41 Multiple time domains (Events)
42 Multiple cycle descriptions