Show HN: I wrote a Haskell program that does my intro logic homework

For context a link to the homework (or similar) on the web would be good for those who haven't studied this stuff.