49248a4e6e111016c3c4f09ab4f4395550a941ea
[matthijs/master-project/haskell-symposium-talk.git] / summery.lhs
1 %include talk.fmt
2 \section{Conclusion}
3
4 \frame{
5 \frametitle{Some final words}
6 \begin{itemize}
7   \item Still a lot to do: make a bigger subset of Haskell translatable
8   \item Real world designs work
9   \item We bring functional expressivity to hardware designs
10 \end{itemize}
11 }
12
13 \frame{
14 \begin{figure}
15 \Huge{Thank you for listening}
16 \end{figure}
17 }
18
19 \frame
20 {
21 \frametitle{Complete signature for registerBank}
22 \begin{code}
23 registerBank :: 
24   ( NaturalT s
25   , PositiveT (s :+: D1)
26   , ((s :+: D1) :>: s) ~ True )) =>
27   (RegState s a) -> a -> RangedWord s ->
28   RangedWord s -> Bit -> ((RegState s a), a )
29 \end{code}
30 }