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

Index - >

>>>Generics.MRSOP.Examples.SimpTH