diff --git a/Main.hs b/Main.hs index fc5a032..6007106 100644 --- a/Main.hs +++ b/Main.hs @@ -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