Skip to content
Browse files

Bigger code example.

Other == symbol.
  • Loading branch information...
1 parent 62be1dc commit 1b0aa531dc8bdedbc0426cee8904a543cf5eff74 Sebastiaan Visser committed Feb 7, 2010
Showing with 3 additions and 1 deletion.
  1. +2 −0 presentation/BoolLike.lhs
  2. +1 −1 presentation/code.fmt
View
2 presentation/BoolLike.lhs
@@ -109,6 +109,7 @@
%if style /= newcode
\textcolor{cmnt}{
+\LARGE{
\begin{verbatim}
ghci> :t not
@@ -122,6 +123,7 @@ If ConTrue ConFalse ConTrue
\end{verbatim}
}
+}
%endif
View
2 presentation/code.fmt
@@ -36,7 +36,7 @@
%format * = "\textcolor{sym}{\text{\ \tt{*}\ }}"
%format + = "\textcolor{sym}{\text{\ \tt{+}\ }}"
%format - = "\textcolor{sym}{\text{\ \tt{-}\ }}"
-%format == = "\textcolor{sym}{\text{\ \tt{==}\ }}"
+%format == = "\textcolor{sym}{\text{\ $\equiv$\ }}"
%format => = "\textcolor{sym}{\text{\ $\Rightarrow$\ }}"
%format && = "\textcolor{sym}{\text{$\&\&$}}"
%format || = "\textcolor{sym}{\text{$||$}}"

0 comments on commit 1b0aa53

Please sign in to comment.
Something went wrong with that request. Please try again.