Permalink
Browse files

Removed styling for == operator

  • Loading branch information...
1 parent 03d1dab commit 33eae5e117f671de0cc54bff01e54c924a340145 @tomlokhorst committed Feb 7, 2010
Showing with 3 additions and 2 deletions.
  1. +2 −1 presentation/RealExpr.lhs
  2. +1 −1 presentation/code.fmt
@@ -5,7 +5,7 @@
> {-# OPTIONS_GHC -F -pgmF lhs2tex -optF --pre #-}
-> module Expr where
+> module RealExpr where
%endif
@@ -115,6 +115,7 @@
> data Maybe a
>
> class MaybeC j where
+
}
\only<3>{
@@ -36,7 +36,7 @@
%format * = "\textcolor{sym}{\text{\ \tt{*}\ }}"
%format + = "\textcolor{sym}{\text{\ \tt{+}\ }}"
%format - = "\textcolor{sym}{\text{\ \tt{-}\ }}"
-%format == = "\textcolor{sym}{\text{\ $\equiv$\ }}"
+%format == = "\textcolor{sym}{\text{\ \tt{==}\ }}"
%format => = "\textcolor{sym}{\text{\ $\Rightarrow$\ }}"
%format && = "\textcolor{sym}{\text{$\&\&$}}"
%format || = "\textcolor{sym}{\text{$||$}}"

0 comments on commit 33eae5e

Please sign in to comment.