@@ -4,8 +4,6 @@
4\usepackage{amssymb,amsmath}
4\usepackage{amssymb,amsmath}
5\usepackage{ifxetex,ifluatex}
5\usepackage{ifxetex,ifluatex}
6\usepackage{fixltx2e} % provides \textsubscript
6\usepackage{fixltx2e} % provides \textsubscript
7−% use microtype if available
8−\IfFileExists{microtype.sty}{\usepackage{microtype}}{}
9% use upquote if available, for straight quotes in verbatim environments
7% use upquote if available, for straight quotes in verbatim environments
10\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
8\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
11\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
9\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
@@ -18,6 +16,8 @@
18 \defaultfontfeatures{Mapping=tex-text,Scale=MatchLowercase}
16 \defaultfontfeatures{Mapping=tex-text,Scale=MatchLowercase}
19 \newcommand{\euro}{€}
17 \newcommand{\euro}{€}
19+% use microtype if available
20+\IfFileExists{microtype.sty}{\usepackage{microtype}}{}
21\usepackage{listings}
21\usepackage{listings}
22\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{}
22\lstnewenvironment{code}{\lstset{language=Haskell,basicstyle=\small\ttfamily}}{}