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
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 | 24 days ago |
Repository
| Stars | 4 on GitHub |
| Forks | 1 on GitHub |