generics-mrsop

Generic Programming with Mutually Recursive Sums of Products.

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 .