@hackage / generics-mrsop

Generic Programming with Mutually Recursive Sums of Products.

Latest2.3.0

About

Metadata

  • Last updated , by vcmiraldo
  • License MIT
  • Categories Generics

  • Maintained by: Victor Miraldo <v.cacciarimiraldo@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

A library that supports generic programming for mutually recursive families in the sum-of-products style. . A couple usage examples can be found under Generics.MRSOP.Examples .