Idris2Doc : Data.Telescope.Fun

Data.Telescope.Fun

N-ary dependent functions using telescopes

Compare with `base/Data.Fun` and:
Guillaume Allais. 2019. Generic level polymorphic n-ary functions. TyDe 2019.
Fun : (env : Environmentgamma) -> (0 delta : Segmentngamma) -> SimpleFunenvdeltaType -> Type
curry : ((ext : Environmentenvdelta) -> uncurrycodext) -> Funenvdeltacod
uncurry : Funenvdeltacod -> (ext : Environmentenvdelta) -> uncurrycodext