Commit graph

6 commits

Author SHA1 Message Date
hi
0df55f349d undo progress on making the cols align 2025-07-31 12:24:41 +00:00
hi
1e66888807 latex truth table: hard part 2025-07-31 12:22:18 +00:00
hi
5e0827b17d dont use Data.Map 2025-07-31 12:21:50 +00:00
hi
d7d1e0cb05 latex truth table: easy part 2025-07-31 11:29:43 +00:00
hi
1a2c2fb50f serialize statements 2025-07-31 11:08:27 +00:00
hi
4fd2571d55 initial working: 2025-07-30 2025-07-31 10:52:20 +00:00