LICENSE
Setup.hs
structural-induction.cabal
Induction
test