Typst is nicer for writing; no need for all the TeX madness. Agda might help catch some typo's and eventual typechecking.
Typst is nicer for writing; no need for all the TeX madness.
Agda might help catch some typo's and eventual typechecking.