summery.lhs

   1 \section{Conclusion}
   2
   3 \frame{
   4 \frametitle{Some final words}
   5 \begin{itemize}
   6   \item Still a lot to do: make a bigger subset of Haskell translatable
   7   \item Real word designs work
   8   \item We bring functional expressivity to hardware designs
   9 \end{itemize}
  10 }
  11
  12 \frame{
  13 \centerline{Thank you for listening}
  14 }