equational-reasoning-0.4.1.1: Proof assistant for Haskell using DataKinds & PolyKinds
Proof.Induction
Synopsis
genInduction :: Name -> String -> Q [Dec] Source #
genInduction ''Type "inductionT" defines the induction scheme for Type named inductionT.
genInduction ''Type "inductionT"
Type
inductionT