2 \section{How do you make Hardware from Haskell?}
5 \frametitle{So how do you make Hardware from Haskell?}\pause
6 \large{In three simple steps really:} \pause
9 GHC API Parses, Typechecks and Desugars the Haskell code \pause
11 Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form \pause
13 Translate Normalized Core to synthesizable VHDL
16 \item Here is a quick insight as to how WE translate Haskell to Hardware
17 \item You can also use TH, like ForSyDe. Or traverse datastructures, like
18 \item We're in luck with the GHC API update of 6.10 and onwards
19 \item Normal form is a single lamda and a let expression, every let binder is a simple assignment