Don't put AvgStateRemoved in a float. Doing this completely foobarred the strikethrough...
Fix / remove some final todos.
Add reference.
Some fixes to the prototype chapter.
Improve layout and add citation.
Fix spelling as suggested by aspell.
Fix references.
Fix typo in buffer name.
Add a section on prototype implementation (with the git url).
Say Core instead of core.
Put some function names inside \hs.
Replace a starttyping with starthaskell.
Add boxes around two figures.
Misc fixes from own review.
Add a VHDL typing style (and some other fixes). This was an attempt to get line numbering on the VHDL files, but apparently line numbering is broken in MkIV. Oh well, at least it added a nice box around the VHDL.
Add Scrutinee binder removal.
Always use a lowercase letter after a colon.
Add an intermezzo about the id function.
Remove deprecated paragraph.
Use \VHDL\ (etc.) instead of relying on \autoinsertnextspace. The \autoinsertnextspace macro is not always reliable and was removed in a recent ConTeXt version.