Logic.hs 3.07 KB