TODO: Was Haskell really a good choice? Perhaps say this somewhere else?
- \subsection[sec:prototype:output]{Output format}
+ \section[sec:prototype:output]{Output format}
The second important question is: What will be our output format? Since
our prototype won't be able to program FPGA's directly, we'll have to have
output our hardware in some format that can be later processed and