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