Idris2Doc : Data.SOP

Data.SOP

(source)

Reexports

importpublic Data.SOP.Interfaces
importpublic Data.SOP.NP
importpublic Data.SOP.NS
importpublic Data.SOP.POP
importpublic Data.SOP.SOP
importpublic Data.SOP.Utils