Zander671/truth-table
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix a very *REDACTED* mistake

Browse Source
This commit is contained in:
Alexander Rosenberg 2024-09-10 23:07:53 -07:00
parent 2bdf936160
commit c52706e4b2
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typeset.lisp
View File

@ -243,7 +243,7 @@ between each row."
pretty-print pretty-print) pretty-print pretty-print)
(let ((format-str (let ((format-str
(if latin-truths (if latin-truths
"~{$ ~:[\\textrm{F}~;\\textrm{T}~] $~^ & ~} \\\\~:[ ~;~% ~]" "~{~:[F~;T~]~^ & ~} \\\\~:[ ~;~% ~]"
"~{$ ~:[\\bot~;\\top~] $~^ & ~} \\\\~:[ ~;~% ~]"))) "~{$ ~:[\\bot~;\\top~] $~^ & ~} \\\\~:[ ~;~% ~]")))
(dolist (row (extract-truth-table-values table)) (dolist (row (extract-truth-table-values table))
(format str format-str row pretty-print))) (format str format-str row pretty-print)))