Show HN: I wrote a Haskell program that does my intro logic homeworkhttps://github.com/JacksonGariety/derivation-machine by JacksonGariety • 10 years ago 9 2 10 years agoGIgithub.com