↓ Skip to main content

Lhs2tex-Hl

lhs2TeX-hl version 1.4.5 has been released!

·1 min

I’ve just re­leased a new ver­sion of lhs2TeX-hl: 1.4.5 and it in­cludes some new fea­tures: Ad­ded sup­port for re­curs­ively tra­vers­ing in­cludes of .lhs files The pro­gram now doesn't fail com­pletely when haskell-src-exts fails to parse a file. An er­ror is re­por­ted and the pro­gram con­tin­ues. :) A fmt file is still gen­er­ated. func­tions that aren't func­tions but con­stants are now given the tag `constant' Re­moved a faulty com­mand from the list. Cleaned up some code. (Prob­ably in­tro­duced other ugly code) Bin­ary op­er­at­ors are now type­set bet­ter. (I hope :)) Please let me know what you think.

lhs2TeX-hl 1.2.2 released

·1 min

Changelog: Classes are writ­ten to the format file; There should be less "am­bigu­ous op­er­ator" er­rors now; Re­moved the Agda de­pend­ency as it didn't do any­thing with Agda at all. Hack­age, GitHub.

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: Ad­ded a fil­ter for re­write rules that aren’t “lhs2TeX safe”, e.g. format () = ...; 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: