Skip to content
Sections
>> Trisquel >> Packages >> nabia >> text >> lhs2tex
etiona  ] [  nabia  ] [  aramo  ]
[ Source: lhs2tex  ]

Пакунок: lhs2tex (1.22-2build3)

Generates LaTeX code from literate Haskell sources

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.

Інші пакунки пов'язані з lhs2tex

  • depends
  • recommends
  • suggests
  • dep: libatomic1 (>= 4.8)
    support library providing __atomic built-in functions
  • dep: libc6 (>= 2.29)
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
  • dep: libffi7 (>= 3.3~20180313)
    Foreign Function Interface library runtime
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: tex-common (>= 6.13)
    common infrastructure for building and installing TeX
  • dep: texlive-latex-base
    TeX Live: LaTeX fundamental packages
  • dep: texlive-science
    TeX Live: Mathematics, natural sciences, computer science packages

Завантажити lhs2tex

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
amd64 746.1 kB2378 kB [список файлів]
armhf 804.7 kB2497 kB [список файлів]