equational-reasoning-0.2.0.7: 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.