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

diff --git a/summery.lhs b/summery.lhs
index 2174a0c..49248a4 100644
--- a/summery.lhs
+++ b/summery.lhs
@@ -1,14 +1,30 @@
+%include talk.fmt
 \section{Conclusion}
 
 \frame{
 \frametitle{Some final words}
 \begin{itemize}
   \item Still a lot to do: make a bigger subset of Haskell translatable
-  \item Real word designs work
+  \item Real world designs work
   \item We bring functional expressivity to hardware designs
 \end{itemize}
 }
 
 \frame{
-\centerline{Thank you for listening}
+\begin{figure}
+\Huge{Thank you for listening}
+\end{figure}
+}
+
+\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}
 }
\ No newline at end of file