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=0000000000000000000000000000000000000000;hp=94b11b53fec31b639c333f1f596beb48d11fdf16;hb=bb178ef5c75d6adf38295303902670365634319c;hpb=73b5dbc07a705b9eec15976a62bded98f6a159f5

diff --git a/summery.lhs b/summery.lhs
deleted file mode 100644
index 94b11b5..0000000
--- a/summery.lhs
+++ /dev/null
@@ -1,55 +0,0 @@
-%include talk.fmt
-\section{Conclusion}
-
-\frame{
-\frametitle{Some final words}
-\begin{itemize}
-  \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
-{
-\frametitle{Complete signature for registerBank}
-\begin{code}
-registerBank :: 
-  ( NaturalT s
-  , PositiveT (s :+: D1)
-  , ((s :+: D1) :>: s) ~ True )) =>
-  (RegState s a) -> a -> RangedWord s ->
-  RangedWord s -> Bit -> ((RegState s a), a )
-\end{code}
-}
-
-\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}
-}