X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git;a=blobdiff_plain;f=summery.lhs;fp=summery.lhs;h=94b11b53fec31b639c333f1f596beb48d11fdf16;hp=49248a4e6e111016c3c4f09ab4f4395550a941ea;hb=2523b691bc4f9871e5d0fb3823fcd2c8952affaa;hpb=994fb60ca2fb9a48380e54b4392f7519fcc63ec1

diff --git a/summery.lhs b/summery.lhs
index 49248a4..94b11b5 100644
--- a/summery.lhs
+++ b/summery.lhs
@@ -4,16 +4,20 @@
 \frame{
 \frametitle{Some final words}
 \begin{itemize}
-  \item Still a lot to do: make a bigger subset of Haskell translatable
-  \item Real world designs work
-  \item We bring functional expressivity to hardware designs
+  \item Still a lot to do: translate larger subset of Haskell
+  \item Real world prototypes can be made in \clash{}
+  \item \clash{} is another great example of how to bring functional expressivity to hardware designs
 \end{itemize}
 }
 
 \frame{
+\vspace{6em}
 \begin{figure}
 \Huge{Thank you for listening}
 \end{figure}
+\vspace{5em}
+\centerline{\clash{} Clone URL:}
+\centerline{\url{git://github.com/christiaanb/clash.git}}
 }
 
 \frame
@@ -27,4 +31,25 @@ registerBank ::
   (RegState s a) -> a -> RangedWord s ->
   RangedWord s -> Bit -> ((RegState s a), a )
 \end{code}
-}
\ No newline at end of file
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware}}
+\label{img:mealymachine}
+\end{figure}
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware-reg}}
+\label{img:mealymachine}
+\end{figure}
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware-add}}
+\label{img:mealymachine}
+\end{figure}
+}