|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
lhs2tex
| lhs2tex | Generates LaTeX code from literate Haskell sources | | Priority | |
| Section | text |
| Installed size | 1504 |
| Maintainer | Arjan Oosting <arjan@debian.org> |
| Architecture | i386 |
| Version | 1.11-2 |
| Depends | libc6 (>= 2.3.6-6), libgmp3c2, tetex-bin, tetex-base |
| Suggests | ledcontrol-gtk |
| File name | pool/main/l/lhs2tex/lhs2tex_1.11-2_i386.deb |
| Description | lhs2TeX includes the following features: . Different styles to process your source file: for instance, "tt" style uses a monospaced font for the code while still allowing you to highlight keywords etc, whereas "poly" style uses proportional fonts for identifiers, handles indentation nicely, is able to replace binary operators by mathematical symbols and take care of complex horizontal alignments. . Formatting directives, which let you customize the way certain tokens in the source code should appear in the processed output. . A liberal parser that can handle most of the language extensions; you don't have to restrict yourself to Haskell 98. . Preprocessor-style conditionals that allow you to generate different versions of a document from a single source file (for instance, a paper and a presentation). . Active documents: you can use Haskell to generate parts of the document (useful for papers on Haskell). . A manual explaining all the important aspects of lhs2TeX. .
Homepage:
http://www.informatik.uni-bonn.de/~loeh/lhs2tex/ |
|
|
|
Etude RTOS