FirstOrderTheory-0.1.0.4: Setup.hs

import Distribution.Simple
main = defaultMain