Show HN: I wrote a Haskell program that does my intro logic homework (github.com)

9 points by JacksonGariety 9y ago ↗ HN

2 comments

[ 4.2 ms ] story [ 18.6 ms ] thread

bbcbasic 9y ago ↗

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

JacksonGariety 9y ago ↗

I updated the README. Thanks!

Link: https://en.wikipedia.org/wiki/Propositional_calculus