Logic.hs 2.09 KB