equational-reasoning-induction-0.6.0.0: Setup.hs

import Distribution.Simple
main = defaultMain