@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
- 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

See documentation for Induction.Structural

Installation
In your cabal file:
Dependencies (0)
Dependents (0)