X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git;a=blobdiff_plain;f=howdoesitwork.lhs;fp=howdoesitwork.lhs;h=342be54965bdf856471244679abf96414982db54;hp=4ad7780e7c7a57b4757cc26e0b7a1b164f636612;hb=715d9487c4e666cef21e89f0735d23a4f5ab2d27;hpb=2523b691bc4f9871e5d0fb3823fcd2c8952affaa

diff --git a/howdoesitwork.lhs b/howdoesitwork.lhs
index 4ad7780..342be54 100644
--- a/howdoesitwork.lhs
+++ b/howdoesitwork.lhs
@@ -2,8 +2,8 @@
 \section{How do you make Hardware from Haskell?}
 \frame
 {
-  \frametitle{So how do you make Hardware from Haskell?}
-  \large{In three simple steps} \pause
+  \frametitle{So how do you make Hardware from Haskell?}\pause
+  \large{In three simple steps really:} \pause
   \begin{itemize}
     \item No Effort:\\
     GHC API Parses, Typechecks and Desugars the Haskell code \pause
@@ -14,5 +14,7 @@
   \end{itemize}
 }\note[itemize]{
 \item Here is a quick insight as to how WE translate Haskell to Hardware
-\item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava.
+\item You can also use TH, like ForSyDe. Or traverse datastructures, like
+\item We're in luck with the GHC API update of 6.10 and onwards
+\item Normal form is a single lamda and a let expression, every let binder is a simple assignment
 }
\ No newline at end of file