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

oops: the last commit but properly

Browse source
This commit is contained in:
hi 2025-07-31 12:32:46 +00:00
parent c6628aedd1
commit 8fa9f3698c
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Main.hs
View file

@ -263,12 +263,12 @@ truthtable s = open <> header <> "\\hline\n" <> body <> close
line assignments = line assignments =
intercalate " & " (bools assignments) <> intercalate " & " (bools assignments) <>
" & " <> " &" <>
intercalate " & " (parts assignments) <> intercalate "&" (parts assignments) <>
" \\\\\n" "\\\\\n"
bools assignments = [if bool then "1" else "0" | (key, bool) <- assignments] bools assignments = [if bool then "1" else "0" | (key, bool) <- assignments]
parts assignments = parts assignments =
(\xs -> [[x] | x <- filter (\i -> i /= ' ') xs]) $ (\xs -> [if x /= ' ' then [' ', x, ' '] else " " | x <- xs]) $
fromJust $ serializeLatexTruthTableRow assignments s fromJust $ serializeLatexTruthTableRow assignments s