@hackage / structural-induction

Instantiate structural induction schemas for algebraic data types

Latest0.3

Changelog

structural-induction 0.3 (released 2015-06-30) * Add Functor instance for Term and Obligation.

structural-induction 0.2.0.1 (released 2015-06-10) * Add missing test suite files to extra-source-files.

structural-induction 0.2 (released 2015-04-10) * Support GHC 7.10