Logic.hs 2.08 KB