curry-frontend merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests2023-08-22T12:33:01Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/71WIP: Add MultiParamTypeClasses, , Flexible Contexts, Flexible Instances2023-08-22T12:33:01ZKai ProttWIP: Add MultiParamTypeClasses, , Flexible Contexts, Flexible InstancesTODO: Bump version number and add ChangelogTODO: Bump version number and add ChangelogKai ProttKai Protthttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/19WIP: Add support for the `ScopedTypeVariables` language extension2019-12-25T22:30:31ZJan-Hendrik MatthesWIP: Add support for the `ScopedTypeVariables` language extensionThis merge request adds support for the `ScopedTypeVariables` language extension so that type variables can be lexically scoped when explicitly introduced with the `forall` keyword.
Depends on curry/curry-base!14This merge request adds support for the `ScopedTypeVariables` language extension so that type variables can be lexically scoped when explicitly introduced with the `forall` keyword.
Depends on curry/curry-base!14