From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 31 Aug 2009 11:33:11 +0000 (+0200)
Subject: Rename summery to summary.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=cbbeafb85547b0310506df609b5bdc65bf2c0747;p=matthijs%2Fmaster-project%2Fhaskell-symposium-talk.git

Rename summery to summary.
---

diff --git a/Makefile b/Makefile
index 34be7b4..66558e5 100644
--- 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 445f633..8975cfd 100644
--- 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
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
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}
-}