These are chat archives for got-lambda/expression

20th
Jan 2018
Marco Zocca
@ocramz
Jan 20 2018 10:19 UTC
Yep color me interested as well @jolod !
do you have a repo to show already?
jolod
@jolod
Jan 20 2018 11:55 UTC
@ocramz Do you know of any logic libraries in Haskell for expressing propositions, generating truth tables, rewriting to different normal forms, etc.?