Markup languages are well-suited for typesetting of structured documents. By separating
content from presentation, they are more automatable and flexible than their visual
(WYSIWYG) counterparts. TEX-based systems, which trace back to the 1970s, are still
the state of the art in this domain. Due to TEX’s arcane macro system and poor error
messages, these are hard to learn and use. More lightweight alternatives like Markdown
and AsciiDoc fall short for complex typesetting while XML-based languages are too
verbose for manual editing. This situation is unsatisfactory from a user experience
perspective. For this reason, we present Typst, a new markup language with more
expressive syntax and stronger computational foundations. By building on a type system
with pure functions instead of macros, Typst eliminates many typical problems TEX
suffers from. We show that Typst is highly automatable while being much easier to learn
and use than current alternatives
# Typst
Martin Haug and Laurenz Mädje
two masters' theses
Technische Universität Berlin
the compiler is open source, and the core of the commercialed collaborative web-based editor
https://typst.app/about/
https://laurmaedje.github.io/programmable-markup-language-for-typesetting.pdf
https://laurmaedje.github.io/posts/layout-models/
