Loading [Contrib]/a11y/accessibility-menu.js

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

Safe Haskell	None
Language	Haskell2010

Proof.Induction

Synopsis

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

Documentation

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

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

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result