I’m proud to announce the first release of my lhs2TeX-hl tool. For us who fancy using colours in our presentations or papers this should now go a whole lot easier. Go to the lhs2TeX-hl homepage!

Install it like this:

[bash] > cabal install lhs2TeX-hl [/bash]

lhs2TeX-hl is run before you run lhs2TeX and you supply it with the input file and the output file. A typical execution would look like this:

[bash] > lhs2TeX-hl -o MyPaper.fmt MyPaper.lhs > lhs2TeX -o MyPaper.Tex MyPaper.lhs > pdflatex MyPaper.tex [/bash]

It’s important to note here that you should’ve added the following line to your MyPaper.lhs file:

%include MyPaper.fmt

\lhsCHkeyword

\lhsCHprelude

\lhsCHtype

\lhsCHlitNumber

\lhsCHconstructor

\lhsCHfunction

\lhsCHinfixoperator

\definecolor{datatype}{RGB}{42,0,217} \definecolor{class}{RGB}{197,11,16} \definecolor{fieldname}{RGB}{0,0,162} \definecolor{prelude}{RGB}{64,80,117} \definecolor{numeral}{RGB}{0,0,205} \definecolor{infixoperator}{RGB}{42,0,217} \definecolor{constructor}{RGB}{0,161,0} \definecolor{keyword}{RGB}{229,120,0} \definecolor{special1}{RGB}{159,138,0}

ewcommand{\lhsCHfunction}[1]{\color{infixoperator}{{#1}}}

ewcommand{\lhsCHinfixoperator}[1]{\color{infixoperator}{{#1}}}

ewcommand{\lhsCHprelude}[1]{\color{prelude}{\mathbf{#1}}}

ewcommand{\lhsCHkeyword}[1]{\color{keyword}{\textbf{#1}}}

ewcommand{\lhsCHconstructor}[1]{\color{constructor}{\textbf{#1}}}

ewcommand{\lhsCHlitNumber}[1]{\color{numeral}{{#1}}}

ewcommand{\lhsCHtype}[1]{\color{datatype}{{#1}}}

And that you have the following commands defined in your latex file:For example, like this:And then you might end up with something that looks like this:

[caption id=“attachment_306” align=“aligncenter” width=“300” caption=“Literate Highlighter Code v0.1.0.2”] [/caption]