summary.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: translate larger subset of Haskell
   8   \item Real world prototypes can be made in \clash{}
   9   \item \clash{} is another great example of how to bring functional expressivity to hardware designs
  10 \end{itemize}
  11 }
  12
  13 \frame{
  14 \vspace{6em}
  15 \begin{figure}
  16 \Huge{Thank you for listening}
  17 \end{figure}
  18 \vspace{5em}
  19 \centerline{\clash{} Clone URL:}
  20 \centerline{\url{git://github.com/christiaanb/clash.git}}
  21 }
  22
  23 \frame
  24 {
  25 \frametitle{Complete signatures and Types}
  26 \begin{code}
  27 type Word         =   SizedInt D12
  28 type Instruction  =   ( Opcode, Word, RangedWord D9
  29                       , RangedWord D9 )
  30
  31 registers ::
  32   ( NaturalT s
  33   , PositiveT (s :+: D1)
  34   , ((s :+: D1) :>: s) ~ True )) =>
  35   a -> RangedWord s -> RangedWord s ->
  36   (RegState s a) ->
  37   (RegState s a, a )
  38 \end{code}
  39 }