Latex

Last updated Apr 23, 2024

• latex example - writing a type theory
• Quasiquoting latex
• Latex macros are not abbreviations