sop-core-0.5.0.1: True Sums of Products

Index - I

I 
1 (Type/Class)Data.SOP.BasicFunctors, Data.SOP
2 (Data Constructor)Data.SOP.BasicFunctors, Data.SOP
index_NSData.SOP.NS
index_SOPData.SOP.NS
InjectionData.SOP.NS, Data.SOP
injectionsData.SOP.NS, Data.SOP