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

latex truth table: fix counting

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

2
Main.hs
View file

@ -139,7 +139,7 @@ bucket s
values = [fromJust $ eval assignments s | assignments <- enumerate $ atomsList] values = [fromJust $ eval assignments s | assignments <- enumerate $ atomsList]
enumerate :: [a] -> [[(a, Bool)]] enumerate :: [a] -> [[(a, Bool)]]
enumerate keys = aux start enumerate keys = map reverse $ aux start
where where
aux assignments = (assignments:) $ aux assignments = (assignments:) $
case next assignments of case next assignments of