GitHub - JacksonGariety/derivation-machine: Propositional calculus in Haskell - discu.eu

Hacker News

Show HN: I wrote a Haskell program that does my intro logic homework https://github.com/JacksonGariety/derivation-machine 2 comments 16/11/2016

Linked pages

Propositional calculus - Wikipedia http://en.wikipedia.org/wiki/Propositional_calculus 8 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - JacksonGariety/derivation-machine: Propositional calculus in Haskell

See how to search.

Submit link to: