Add slide with complete signature, including context, of registerBank

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

diff --git a/summery.lhs b/summery.lhs
index 1383d55c92e09870d794a321b7c16e86761b492b..49248a4e6e111016c3c4f09ab4f4395550a941ea 100644 (file)
--- a/summery.lhs
+++ b/summery.lhs
@@ -1,3 +1,4 @@
+%include talk.fmt
 \section{Conclusion}
 
 \frame{
@@ -11,6 +12,19 @@
 
 \frame{
 \begin{figure}
-\Large{Thank you for listening}
+\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