The structural-induction package
See documentation for Induction.Structural
Properties
| Version | 0.1 |
|---|---|
| Dependencies | base (4.*), containers, mtl, pretty, safe |
| License | LGPL-3 |
| Author | Dan Rosén |
| Maintainer | Dan Rosén <danr@chalmers.se> |
| Category | Theorem Provers, Logic |
| Home page | http://www.github.com/danr/structural-induction |
| Bug tracker | http://www.github.com/danr/structural-induction/issues |
| Source repository | git clone git://github.com/danr/structural-induction.git |
| Upload date | Mon Feb 4 14:15:58 UTC 2013 |
| Uploaded by | DanRosen |
| Built on | ghc-7.6 |
Modules
Downloads
- structural-induction-0.1.tar.gz (Cabal source package)
- package description (included in the package)