Fix typos

[matthijs/master-project/haskell-symposium-talk.git] / howdoesitwork.lhs

diff --git a/howdoesitwork.lhs b/howdoesitwork.lhs
index 4ad7780e7c7a57b4757cc26e0b7a1b164f636612..4c26ca534ffecfa49b9e7362b68d2f0c985316c6 100644 (file)
--- a/howdoesitwork.lhs
+++ b/howdoesitwork.lhs
@@ -2,17 +2,20 @@
 \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
     \item Hard: \\
-    Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form \pause
+    Transform resulting Core, GHC's Intermediate Language,\linebreak to a normal form. Uses reduction rules. \pause
     \item Easy: \\
     Translate Normalized Core to synthesizable VHDL
   \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.
-}
\ No newline at end of file
+\item Reduction rules are used to get a required normal form.
+\item Normal form already looks like hardware (components and lines)
+\item You can also use TH, like ForSyDe. Or traverse datastructures, like Lava?
+\item We're in luck with the GHC API update of 6.10 and onwards
+}