From f30752a2c61ca5f2e1913f9637177cc12350e64b Mon Sep 17 00:00:00 2001 From: Danila Fedorin Date: Sun, 26 Nov 2023 20:48:48 -0800 Subject: [PATCH] Minor tweaks to pretty printing and CSS Signed-off-by: Danila Fedorin --- index.html | 2 ++ src/Bergamot/Latex.elm | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/index.html b/index.html index 975fcbf..2bd73a9 100644 --- a/index.html +++ b/index.html @@ -44,6 +44,8 @@ input[type="text"] { .elm-root h2 { margin-bottom: 0.5em; + font-family: sans-serif; + font-weight: normal; } diff --git a/src/Bergamot/Latex.elm b/src/Bergamot/Latex.elm index fb6a459..fd8cba7 100644 --- a/src/Bergamot/Latex.elm +++ b/src/Bergamot/Latex.elm @@ -14,7 +14,7 @@ termToLatex f t = Call "abs" [t1, t2, t3] -> "\\lambda " ++ termToLatex f t1 ++ " : " ++ termToLatex f t2 ++ ".\\ " ++ termToLatex f t3 Call "app" [t1, t2] -> termToLatex f t1 ++ "\\ " ++ termToLatex f t2 Call "type" [t1, t2] -> termToLatex f t1 ++ " : " ++ termToLatex f t2 - Call "type" [t1, t2, t3] -> termToLatex f t1 ++ "\\vdash\\ " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3 + Call "type" [t1, t2, t3] -> termToLatex f t1 ++ "\\vdash " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3 Call "tpair" [t1, t2] -> termToLatex f t1 ++ "\\times" ++ termToLatex f t2 Call "tarr" [t1, t2] -> termToLatex f t1 ++ "\\to" ++ termToLatex f t2 Call "extend" [t1, t2, t3] -> termToLatex f t1 ++ ",\\ " ++ termToLatex f t2 ++ " : " ++ termToLatex f t3