Literate documents

Worked examples written in Org mode: prose and X_eTaL blocks, each block run by xetal through ob-xetal in Emacs and its result recorded under it.

XeTaL in LaTeX: every line of code we ship or document, as xetal render --latex writes it and KaTeX draws it.

The Org sources are in the repository's docs/literate/, with the Emacs mode and ob-xetal in docs/emacs/.

Live demo · Repository