The structural-induction package

[Tags: lgpl, library]

See documentation for Induction.Structural


Properties

Versions0.1, 0.1.1
Dependenciesbase (==4.*), containers, 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 Feb 4 14:15:58 UTC 2013
Uploaded byDanRosen
Downloads250 total (12 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