curry-base issueshttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues2019-10-28T10:29:36Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/15Remove and rename functions in `Curry.Base.Span`2019-10-28T10:29:36ZKai ProttRemove and rename functions in `Curry.Base.Span`https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/issues/12Remove existential quantified type variables from AbstractCurry2019-10-28T10:25:21ZJan-Hendrik MatthesRemove existential quantified type variables from AbstractCurryThe variables are removed with merge request !11, but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.The variables are removed with merge request !11, but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.