lhs2TeX-hl 0.1.1.1 released

After the first re­lease of my tool on hack­age this re­lease ac­tu­ally is a work­ing pack­age. The pre­vi­ous one didn’t in­stall out of the box.

The most im­port­ant changes are:

1. Ad­ded a fil­ter for re­write rules that aren’t “lhs2TeX safe”, e.g. format () = ...;
2. I hard­coded the de­fault format­ting rules for sev­eral of lhs2TeX de­faults, in­clud­ing but not lim­ited to ->, <- and =>. This is not a de­sir­able solu­tion but it suits my pur­poses.

You can do lit­eral (nu­meral, char­ac­ter and string) format­ting eas­ily with lhs2TeX it­self with the fol­low­ing dir­ect­ives:

%subst char a    	= "\color{char}\text{\tt ''" a "''}"
%subst string a  	= "\color{string}\text{\tt \char34 " a "\char34}"
%subst numeral a =  "\color{numeral}{ " a " }"