Idris2Doc : Data.CT

Data.CT

(source)
Reexports
import public Data.CT.Category.Definition
import public Data.CT.Functor.Definition
import public Data.CT.DependentAction.Definition
import public Data.CT.DependentPara.Definition
import public Data.CT.Category.Instances
import public Data.CT.Functor.Instances
import public Data.CT.DependentAction.Instances
import public Data.CT.DependentPara.Instances