From 68bc86c496ce357e1663cec6b80d60b1cf608ca6 Mon Sep 17 00:00:00 2001 From: hi Date: Sat, 2 Aug 2025 09:25:48 +0000 Subject: [PATCH] latex truth table: fix counting --- Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Main.hs b/Main.hs index 6007106..f82b840 100644 --- a/Main.hs +++ b/Main.hs @@ -139,7 +139,7 @@ bucket s values = [fromJust $ eval assignments s | assignments <- enumerate $ atomsList] enumerate :: [a] -> [[(a, Bool)]] -enumerate keys = aux start +enumerate keys = map reverse $ aux start where aux assignments = (assignments:) $ case next assignments of