@hackage structural-induction0.3
Instantiate structural induction schemas for algebraic data types
Categories
License
LGPL-3.0-only
Maintainer
Dan Rosén <danr@chalmers.se>
Links
Versions
Installation
Dependencies (6)
- base >=4 && <5
- containers
- mtl
- genifunctors
- pretty
- safe Show all…
Dependents (2)
@hackage/tip-lib, @hackage/acme-everything
See documentation for Induction.Structural