equational-reasoning-0.2.0.5: Proof assistant for Haskell using DataKinds & PolyKinds

Safe HaskellNone
LanguageHaskell98

Proof.Induction

Synopsis

Documentation

genInduction :: Name -> String -> Q [Dec] Source

genInduction ''Type "inductionT" defines the induction scheme for Type named inductionT.