lhs2tex
lhs2tex copied to clipboard
kosmikus
Preprocessor for typesetting Haskell sources with LaTeX
The examples in lhs2TeX guide should selectively use ‘explicit spaces’ to illustrate the use of spacing for alignment purposes. I anticipate we will need to use a special character to...
lhs2TeX does not recognise Haddock comments starting with `-- |` or `-- ^`.
Figure out a way to handle certain page breaks better. There are at least two situations where the current situation is bad: - If a single line precedes a code...
Reported to me by siracusa on #haskell. Hardly any sanity testing is performed for %subst directives. If the RHS mentions a variable that isn't bound on the lhs, then a...
The following loops and leaks memory quickly. This got my lhs2TeX up to 23GB RAM usage—took me a while to kill it. Replacing `Bar` by `bar` fixes it—because `Bar` is...
Experiments on my thesis suggest that `\mathpunct{.}` is typically more correct than plain`.` for separators after `\forall`, and can be specified via: ``` % Hook into forall.fmt: % Add proper...
This must be an insignificant rant, but can something be done to improve this typesetting?  It's way spread out and not nicely vertically aligned: the `$` character is way...
I really like `lhs2Tex` for its vertical alignment, but somtimes other features get into the way. I would therefore love to have a `polytext` mode that does - [ ]...
Hello. If you declare a pragma with underscore symbol then it will be translated in a code unreadable by pdflatex. ``` $ lhs2Tex --version lhs2TeX 1.22, Copyright (C) 1997-2017 Ralf...
~First two commits are related to now deprecated `\tt` and `\bf` which break hard with some config.~ *edit: cherry-picked* https://www.tug.org/pipermail/tex-live/2016-July/038990.html The second, tries to be more strict while parsing characters,...
