PropLogic-0.9: Setup.lhs

#!/usr/local/bin/runhaskell

> module Main where
> import Distribution.Simple (defaultMain)
> main = defaultMain