search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

LaTeX output for pretty printing #44

Closed olynch closed 11 months ago

olynch commented 1 year ago

We should be able to pretty-print expressions to LaTeX. This should go through #37, so that spacing is nice.

olynch commented 11 months ago

This works for GATExprs like it always did; we should eventually also do this for AlgTerms, but that's a separate issue.