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

Index - >

>>>Generics.MRSOP.Examples.SimpTH