@hackage structural-induction0.1

Instantiate structural induction schemas for algebraic data types

Categories
License
LGPL-3.0-only
Maintainer
Dan Rosén <danr@chalmers.se>
Links
Versions
- 0.3 Tue, 30 Jun 2015
- 0.2.0.1 Wed, 10 Jun 2015
- 0.2 Fri, 10 Apr 2015
- 0.1.2 Fri, 31 Oct 2014
- 0.1.1 Mon, 23 Sep 2013
- 0.1 Mon, 4 Feb 2013

Installation
In your cabal file:
Dependencies (5)
- base >=4 && <5
- containers
- mtl
- pretty
- safe
Dependents (2)
@hackage/tip-lib, @hackage/acme-everything

Package Flags

werror

(off by default)

See documentation for Induction.Structural