The structural-induction package

[Tags: lgpl, library]

See documentation for Induction.Structural


Properties

Versions0.1, 0.1.1
Dependenciesbase (==4.*), containers, genifunctors, mtl, pretty, safe
LicenseLGPL-3
AuthorDan Rosén
MaintainerDan Rosén <danr@chalmers.se>
CategoryTheorem Provers, Logic
Home pagehttp://www.github.com/danr/structural-induction
Bug trackerhttp://www.github.com/danr/structural-induction/issues
Source repositoryhead: git clone git://github.com/danr/structural-induction.git
Upload dateMon Sep 23 13:26:34 UTC 2013
Uploaded byDanRosen
Downloads392 total (124 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
werrorDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees