The structural-induction package

[Tags:lgpl, library, test]

See documentation for Induction.Structural


Versions 0.1, 0.1.1, 0.1.2, 0.2,, 0.3
Change log changelog
Dependencies base (==4.*), containers, genifunctors, mtl, pretty, safe [details]
License LGPL-3
Author Dan Rosén
Maintainer Dan Rosén <>
Category Theorem Provers, Logic
Home page
Bug tracker
Source repository head: git clone git://
Uploaded Tue Jun 30 21:22:52 UTC 2015 by DanRosen
Distributions NixOS:0.3
Downloads 1390 total (17 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2015-06-30 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees