Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

Nicer layout

  • Loading branch information...
commit e624ded4cea6bf871645a0f9889d92ce14fb25bf 1 parent 20269de
Tom Lokhorst authored February 07, 2010
9  presentation/Expr.lhs
@@ -14,14 +14,13 @@
14 14
 
15 15
 %if style /= newcode
16 16
 
17  
-> if 2 + 3 == 5
18  
-> then  1
19  
-> else  0
  17
+\center{\huge{$\mathrm{if}\; 2 + 3 \equiv 5\;\; \mathrm{then}\; 1\;\; \mathrm{else}\; 0$}}
20 18
 
21 19
 %endif
22 20
 
23 21
 \pause
24 22
 
  23
+> WhiteSpace
25 24
 > data Expr where
26 25
 >   Con       ::  Int   ->  Expr
27 26
 >   Add       ::  Expr  ->  Expr  ->  Expr 
@@ -59,9 +58,7 @@
59 58
 
60 59
 %if style /= newcode
61 60
 
62  
-> if 2 + 3 == 5
63  
-> then  1
64  
-> else  0
  61
+\center{\huge{$\mathrm{if}\; 2 + 3 \equiv 5\;\; \mathrm{then}\; 1\;\; \mathrm{else}\; 0$}}
65 62
 
66 63
 \pause
67 64
 
4  presentation/code.fmt
@@ -38,8 +38,8 @@
38 38
 %format -           = "\textcolor{sym}{\text{\ \tt{-}\ }}"
39 39
 %format ==          = "\textcolor{sym}{\text{\ \tt{==}\ }}"
40 40
 %format =>          = "\textcolor{sym}{\text{\ $\Rightarrow$\ }}"
41  
-%format &&          = "\textcolor{sym}{\text{\ $\land$\ }}"
42  
-%format ||          = "\textcolor{sym}{\text{\ $\lor$\ }}"
  41
+%format &&          = "\textcolor{sym}{\text{$\&\&$}}"
  42
+%format ||          = "\textcolor{sym}{\text{$||$}}"
43 43
 %format :->         = "\textcolor{sym}{\text{\ $\mapsto$\ }}"
44 44
 %format .           = "\textcolor{sym}{\text{\ $\circ$\ }}"
45 45
 %format $           = "\textcolor{sym}{\text{\ $\$$\ }}"

0 notes on commit e624ded

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