root/logic
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

latex truth table: fix table spec length

Browse source
This commit is contained in:
hi 2025-08-02 09:21:25 +00:00
parent aeb4266118
commit f044938d74
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Main.hs
View file

@ -281,7 +281,8 @@ truthtable s = open <> header <> "\\hline\n" <> body <> close
close = "\\end{tabular}\n\n"
serial = serialize Latex s
serial :: [Cell]
serial = serializeCells Latex s
atomsList :: [String]
atomsList = S.toAscList $ atoms s
@ -290,7 +291,7 @@ truthtable s = open <> header <> "\\hline\n" <> body <> close
header =
intercalate " & " (map dollars atomsList) <>
" & " <>
intercalate " & " (map dollars $ map fromCell $ serializeCells Latex s) <>
intercalate " & " (map dollars $ map fromCell serial) <>
" \\\\\n"
dollars :: String -> String