Repository moved to codeberg: https://codeberg.org/eviefp/logic-in-haskell
Classical Logic in Haskell