logic

• Classical Logic in Haskell Dec 14, 2018