X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=howdoesitwork.lhs;h=b9970d6784d570e7d2e1863be8c4b2e0fe064901;hb=bb178ef5c75d6adf38295303902670365634319c;hp=f073c8aa6db2a9cafbd41fceaf2c8ed9c84ee4fe;hpb=9f6a6587a2e51364cebce060cfc6ef9534b0bd2e;p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git

diff --git a/howdoesitwork.lhs b/howdoesitwork.lhs
index f073c8a..b9970d6 100644
--- a/howdoesitwork.lhs
+++ b/howdoesitwork.lhs
@@ -2,14 +2,19 @@
 \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 Haskell \pause
-    \item Hard.. sort of: \\
-    Transform resulting Core, GHC's Intermediate Language, to a normal form \pause
+    GHC API Parses, Typechecks and Desugars the Haskell code \pause
+    \item Hard: \\
+    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}
-}
\ No newline at end of file
+}\note[itemize]{
+\item Here is a quick insight as to how WE translate Haskell to Hardware
+\item Normal form already looks like hardware (components and lines)
+\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
+}