5 \frametitle{Some final words}
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
16 \Huge{Thank you for listening}
19 \centerline{\clash{} Clone URL:}
20 \centerline{\url{git://github.com/christiaanb/clash.git}}
25 \frametitle{Complete signatures and Types}
27 type Word = SizedInt D12
28 type Instruction = ( Opcode, Word, RangedWord D9
33 , PositiveT (s :+: D1)
34 , ((s :+: D1) :>: s) ~ True )) =>
35 a -> RangedWord s -> RangedWord s ->