@hackage / structural-induction

Instantiate structural induction schemas for algebraic data types

Latest0.3

About

Metadata

  • Last updated , by DanRosen
  • License LGPL-3.0-only
  • Maintained by: Dan Rosén <danr@chalmers.se>

  • Lottery factor: 0

Links

Installation

Readme

See documentation for Induction.Structural