Logic.hs 6.7 KB