The structural-induction package

[Tags: lgpl, library]

See documentation for Induction.Structural


Properties

Versions0.1, 0.1.1, 0.1.2, 0.2
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
UploadedFri Apr 10 16:33:43 UTC 2015 by DanRosen
DistributionsNixOS:0.2
Downloads667 total (42 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-04-10 [all 1 reports]

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