Rename summery to summary.

diff --git a/Makefile b/Makefile
index 34be7b4c562d47fddf6adf70cba6cc39f1863855..66558e5b08633f7f842ba98ee6b5c2ba70ebf3a8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,7 @@ LHSRCS = \
        reducer.lhs \
        howdoesitwork.lhs \
        demo.lhs \
-       summery.lhs
+       summary.lhs
 
 LHFORMATS = \
        talk.fmt
@@ -45,4 +45,4 @@ clean:
                $(RM) $(FILE).synctex.gz
                $(RM) $(FILE).nav
                $(RM) $(FILE).snm
-               $(RM) *.hi *.o *.aux
\ No newline at end of file
+               $(RM) *.hi *.o *.aux

diff --git a/clash-haskell09.lhs b/clash-haskell09.lhs
index 445f6336dc76842cd993ca8d4bc01c534280b36f..8975cfd6f031798e13b72cd2c0ec805f79b0e80d 100644 (file)
--- a/clash-haskell09.lhs
+++ b/clash-haskell09.lhs
@@ -21,6 +21,6 @@
 \include{demo}
 \include{reducer}
 \include{howdoesitwork}
-\include{summery}
+\include{summary}
 
-\end{document}
\ No newline at end of file
+\end{document}

diff --git a/summary.lhs b/summary.lhs
new file mode 100644 (file)
index 0000000..94b11b5
--- /dev/null
+++ b/summary.lhs
@@ -0,0 +1,55 @@
+%include talk.fmt
+\section{Conclusion}
+
+\frame{
+\frametitle{Some final words}
+\begin{itemize}
+  \item Still a lot to do: translate larger subset of Haskell
+  \item Real world prototypes can be made in \clash{}
+  \item \clash{} is another great example of how to bring functional expressivity to hardware designs
+\end{itemize}
+}
+
+\frame{
+\vspace{6em}
+\begin{figure}
+\Huge{Thank you for listening}
+\end{figure}
+\vspace{5em}
+\centerline{\clash{} Clone URL:}
+\centerline{\url{git://github.com/christiaanb/clash.git}}
+}
+
+\frame
+{
+\frametitle{Complete signature for registerBank}
+\begin{code}
+registerBank :: 
+  ( NaturalT s
+  , PositiveT (s :+: D1)
+  , ((s :+: D1) :>: s) ~ True )) =>
+  (RegState s a) -> a -> RangedWord s ->
+  RangedWord s -> Bit -> ((RegState s a), a )
+\end{code}
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware}}
+\label{img:mealymachine}
+\end{figure}
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware-reg}}
+\label{img:mealymachine}
+\end{figure}
+}
+
+\frame{
+\begin{figure}
+\centerline{\includegraphics[width=12cm]{polyaluhardware-add}}
+\label{img:mealymachine}
+\end{figure}
+}

diff --git a/summery.lhs b/summery.lhs
deleted file mode 100644 (file)
index 94b11b5..0000000
--- a/summery.lhs
+++ /dev/null
@@ -1,55 +0,0 @@
-%include talk.fmt
-\section{Conclusion}
-
-\frame{
-\frametitle{Some final words}
-\begin{itemize}
-  \item Still a lot to do: translate larger subset of Haskell
-  \item Real world prototypes can be made in \clash{}
-  \item \clash{} is another great example of how to bring functional expressivity to hardware designs
-\end{itemize}
-}
-
-\frame{
-\vspace{6em}
-\begin{figure}
-\Huge{Thank you for listening}
-\end{figure}
-\vspace{5em}
-\centerline{\clash{} Clone URL:}
-\centerline{\url{git://github.com/christiaanb/clash.git}}
-}
-
-\frame
-{
-\frametitle{Complete signature for registerBank}
-\begin{code}
-registerBank :: 
-  ( NaturalT s
-  , PositiveT (s :+: D1)
-  , ((s :+: D1) :>: s) ~ True )) =>
-  (RegState s a) -> a -> RangedWord s ->
-  RangedWord s -> Bit -> ((RegState s a), a )
-\end{code}
-}
-
-\frame{
-\begin{figure}
-\centerline{\includegraphics[width=12cm]{polyaluhardware}}
-\label{img:mealymachine}
-\end{figure}
-}
-
-\frame{
-\begin{figure}
-\centerline{\includegraphics[width=12cm]{polyaluhardware-reg}}
-\label{img:mealymachine}
-\end{figure}
-}
-
-\frame{
-\begin{figure}
-\centerline{\includegraphics[width=12cm]{polyaluhardware-add}}
-\label{img:mealymachine}
-\end{figure}
-}