free-theorems-counterexamples-0.3: Setup.hs

#!/usr/bin/runhaskell

import Distribution.Simple

main = defaultMain