Skip to content

VictorCMiraldo/generics-mrsop

Repository files navigation

generics-mrsop

Generic Programming, with combinators, for Mutually Recursive Families in the Sums of Products style.

Check the Generics.MRSOP.Examples.RoseTreeTH for a simple quick start, or read our paper, "Sums of Products for Mutually Recursive Datatypes", for a more detailed description.