From d761eaf56b88d9a83aa096d23e12bb4d724d4c3f Mon Sep 17 00:00:00 2001
From: Christiaan Baaij <christiaan.baaij@gmail.com>
Date: Wed, 27 Jan 2010 10:25:45 +0100
Subject: [PATCH] Use lhs2tex for code and verbatim formatting

---
 Makefile                                 | 1 +
 "c\316\273ash.bib" => clash.bib          | 0
 "c\316\273ash.tex" => "c\316\273ash.lhs" | 4 +++-
 3 files changed, 4 insertions(+), 1 deletion(-)
 rename "c\316\273ash.bib" => clash.bib (100%)
 rename "c\316\273ash.tex" => "c\316\273ash.lhs" (99%)

diff --git a/Makefile b/Makefile
index 4271429..f372234 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 all:
+	lhs2TeX -v --poly --haskell < cλash.lhs > cλash.tex
 	latexmk -pdf -pv cλash.tex
 
 clean:
diff --git "a/c\316\273ash.bib" b/clash.bib
similarity index 100%
rename from "c\316\273ash.bib"
rename to clash.bib
diff --git "a/c\316\273ash.tex" "b/c\316\273ash.lhs"
similarity index 99%
rename from "c\316\273ash.tex"
rename to "c\316\273ash.lhs"
index 4a917f9..58caa4b 100644
--- "a/c\316\273ash.tex"
+++ "b/c\316\273ash.lhs"
@@ -352,6 +352,8 @@
 \def\hs#1{\texttt{#1}}
 \def\quote#1{``{#1}"}
 
+%include polycode.fmt
+
 \begin{document}
 %
 % paper title
@@ -922,7 +924,7 @@ The authors would like to thank...
 % http://www.michaelshell.org/tex/ieeetran/bibtex/
 \bibliographystyle{IEEEtran}
 % argument is your BibTeX string definitions and bibliography database(s)
-\bibliography{IEEEabrv,cλash.bib}
+\bibliography{IEEEabrv,clash.bib}
 %
 % <OR> manually copy in the resultant .bbl file
 % set second argument of \begin to the number of references
-- 
2.30.2