Idris2Doc : Data.Telescope.Fun

Data.Telescope.Fun

Fun : (env : Environmentgamma) -> (0 delta : Segmentngamma) -> SimpleFunenvdelta Type -> Type
curry : ((ext : Environmentenvdelta) -> uncurrycodext) -> Funenvdeltacod
uncurry : Funenvdeltacod -> (ext : Environmentenvdelta) -> uncurrycodext