lhs2TeX-hl 0.1.1.1 released
Nov 1, 2010 00:00 · 119 words · 1 minute read
After the first release of my tool on hackage this release actually is a working package. The previous one didn’t install out of the box.
The most important changes are:
- Added a filter for rewrite rules that aren’t “lhs2TeX safe”, e.g.
format () = ...; - I hardcoded the default formatting rules for several of lhs2TeX defaults,
including but not limited to
->,<-and=>. This is not a desirable solution but it suits my purposes.
You can do literal (numeral, character and string) formatting easily with lhs2TeX itself with the following directives:
%subst char a = "\color{char}\text{\tt ''" a "''}"
%subst string a = "\color{string}\text{\tt \char34 " a "\char34}"
%subst numeral a = "\color{numeral}{ " a " }"