5 commits

Author	SHA1	Message	Date
hi	bf846e32ce	predicate logic	2025-08-29 12:55:06 +00:00
hi	eb965050f3	fix truth table variable order	2025-08-18 09:37:30 +00:00
hi	550e589bc8	laws: (==) iff they are relabellings of each other	2025-08-16 08:58:22 +00:00
hi	b0e98b0e51	use Data.Map	2025-08-15 15:20:40 +00:00
hi	dff5b9f365	cabal ... only doing this because Data.Set is not in the stdlib	2025-08-15 13:10:36 +00:00