logic

Classical Logic in Haskell 14-12-2018