lhs2tex
lhs2tex copied to clipboard
kosmikus
Preprocessor for typesetting Haskell sources with LaTeX
I am writing a document in a folder other than the one with the code. I have a .ghci file that includes the required directories. When I load the file...
I'm not sure I can show an actual issue, but I was concerned when I saw [this code](https://github.com/kosmikus/lhs2tex/blob/4c85fc00c399e6f80526832aff32433452d1511c/lhs2TeX.sty.lit#L63-L84) using the OT1 encoding—I'm using T1 myself for my English papers for...
I've discovered that `forall.fmt` is in fact "extensible", and used it to define a bunch of other delimiters, though it's all a bit hacky. ``` % For correct parsing use...
Some hooks in `hscode` seems to be causing a conflict with beamerarticle. Please see the attached files. [Issue.zip](https://github.com/kosmikus/lhs2tex/files/2096679/Issue.zip) If you typeset Issue.lhs with ``` lhs2TeX Issue.lhs > Issue.tex pdflatex Issue...
After the latest `ucs` package seems to change its behaviour, Unicode characters are no longer mapped to its TeX-equivalent. For example, Greek letters are not mapped so one needs to...
The alignment feature of lhs2TeX --poly regards the string +̲ (containing + plus a combining character) as having length two, but it seems more reasonable to treat it as having...
I had a `%format` macro like this: ``` %format (mac(t)(r)) = t "\langle " r "\rangle " ``` And I used it with `\aligncolumn` like this: ``` \aligncolumn{3}{r@@{}} \begin{spec} (mac(a)(t))...
A option like ``` Agda {-# OPTIONS --no-universe-polymorphism #-} ``` is rendered using only one hyphen, i.e. ``` Agda {-# OPTIONS -no-universe-polymorphism #-} ```
``` agda downFromF : ∀ {n} → Singleton (suc n) → Maybe (ℕ × Singleton n) downFromF {n} (wrap .(suc n)) = just (n , wrap n) ``` Here the...
Given the data type ``` Agda data _∧_ (A B : Set) : Set where _,_ : A → B → A ∧ B ``` the following function ``` Agda...