GATsenhancementgood first issue
仓库指标
- 星标
- (706 个星标)
- PR 合并指标
- (平均合并 17天 19小时) (30 天内合并 2 个 PR)
描述
Pretty-print GATs as LaTeX in both of the following styles:
-
Cartmell-style linear notation
-
natural-deduction-style tree notation
The examples above depict the theory of monoids and are taken from Sterling's paper Algebraic type theory and universe hierarchies.
The first style is similar to the syntax of our @theory macro and should be easily ported to MathJax/KaTeX, while the second style is harder to typeset but beloved by type theorists.