Idris2Doc : Data.SOP

Data.SOP

(source)
Reexports
import public Data.SOP.Interfaces
import public Data.SOP.NP
import public Data.SOP.NS
import public Data.SOP.POP
import public Data.SOP.SOP
import public Data.SOP.Utils