Use \clash command. Fix pictures

[matthijs/master-project/final-presentation.git] / christiaan / reductioncircuit.lhs

diff --git a/christiaan/reductioncircuit.lhs b/christiaan/reductioncircuit.lhs
index e1add22cc3c0aa6be5413f56c3aca5f3111ed606..a41dbf6dfb46fb89d4bf4047b90a23192659cf84 100644 (file)
--- a/christiaan/reductioncircuit.lhs
+++ b/christiaan/reductioncircuit.lhs
@@ -3,14 +3,14 @@
 \frame{
 \frametitle{Too Restrictive?}
 \begin{itemize}
-  \item Is CλasH too restrictive given the fact that a designer can currently not define his own vector transformations, or recursive functions for that matter?
+  \item Is \clash{} too restrictive given the fact that a designer can currently not define his own vector transformations, or recursive functions for that matter?
 \end{itemize}
 }
 
 \frame{
 \frametitle{Too Restrictive?}
 \begin{itemize}
-  \item There is certainly room to increase expressivity. But we can already describe non-trivial design in CλasH.
+  \item There is certainly room to increase expressivity. But we can already describe non-trivial design in \clash{}.
   \item Example: Reduction circuit
 \end{itemize}
 }