structural-induction-0.1: Setup.hs

import Distribution.Simple

main :: IO ()
main = defaultMain