JacksonGariety/derivation-machine

Propositional calculus in Haskell

9 best points · 2 comments · 1 Hacker News post · 11 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: I wrote a Haskell program that does my intro logic homework (9 points, 2 comments, by JacksonGariety, 2016-11-16)