From f9091ad7c11df315d421321d2181dd3a23ed5583 Mon Sep 17 00:00:00 2001
From: Alexander Rosenberg <zanderpkg@pm.me>
Date: Mon, 16 Sep 2024 03:25:36 -0700
Subject: [PATCH] Fix some bugs with the web server

---
 truth-table-web-wrapper | 2 +-
 typeset.lisp            | 7 ++++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/truth-table-web-wrapper b/truth-table-web-wrapper
index f15f282..2cefdf4 100755
--- a/truth-table-web-wrapper
+++ b/truth-table-web-wrapper
@@ -6,4 +6,4 @@ SBCL=${SBCL:-sbcl}
 exec ${SBCL} --noinform \
              --eval '(format *error-output* "Loading systems...~%")' \
              --eval '(ql:quickload :truth-table/web :silent t)' \
-             --eval '(truth-table/web:toplevel)' "${@}"
+             --eval '(truth-table/web:toplevel)' - "${@}"
diff --git a/typeset.lisp b/typeset.lisp
index c369bbb..d1de8a0 100644
--- a/typeset.lisp
+++ b/typeset.lisp
@@ -274,13 +274,14 @@ between each row."
               pretty-print
               (typeset-proposition
                expr :lookup-table *operator-html-lookup-alist*
-               :var-name-transform 'html-var-name-transform)))
+               :var-name-transform 'html-var-name-transform
+               :latin-truths latin-truths)))
     (format str "~@[~%  ~]</tr>" pretty-print)
     (dolist (row (extract-truth-table-values table))
       (format str "~@[~%  ~*~]<tr>~@[~%    ~*~]" pretty-print pretty-print)
       (loop with truth-str = (if latin-truths
-                                  "~:[F~;T~]"
-                                  "~:[&perp;~;&top;~]")
+                                 "~:[F~;T~]"
+                                 "~:[&perp;~;&top;~]")
             for now = row then (cdr now)
             for value = (car now)
             while now do