sop-core-0.5.0.2: True Sums of Products

Index - :

:* Data.SOP.NP , Data.SOP
:.: Data.SOP.BasicFunctors , Data.SOP