3 commits

Author	SHA1	Message	Date
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

Renamed from Logic/Statement/Laws.hs (Browse further)