The structural-induction package

[Tags: lgpl, library]

See documentation for Induction.Structural

Properties

Versions0.1, 0.1.1, 0.1.2, 0.2, 0.2.0.1, 0.3
Change logchangelog
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
UploadedTue Jun 30 21:22:52 UTC 2015 by DanRosen
DistributionsNixOS:0.3
Downloads808 total (99 in last 30 days)
StatusDocs available [build log]
Last success reported on 2015-06-30 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees