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 }