structural-induction
SII: Structural Induction Instantiator over any strictly-positive algebraic data type.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 11 years ago
0.1.2
over 11 years ago
Versions
6
6
Downloads
4,696 total
4,696 total
Dependent Repos
3
3
No dependent packages found.
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Filter by Kind
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/structural-induction
spec |
| License | LGPL-3.0-only |
| First Release | about 13 years ago |
| Last Synced | 25 days ago |
Repository
| Stars | 4 on GitHub |
| Forks | 1 on GitHub |