generics-mrsop-2.0.0: Generic Programming with Mutually Recursive Sums of Products.

Index - >

>>>Generics.MRSOP.Examples.SimpTH