curry-base merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/merge_requests2017-10-18T12:55:14Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-base/-/merge_requests/1Existentials2017-10-18T12:55:14ZFinn TeegenExistentialsAdds a new syntax extension named `ExistentialQuantification` that allows the use of existential quantification in data type or newtype declarations similar to Haskell, e.g.:
```
data Foo = forall a . Bar a
```Adds a new syntax extension named `ExistentialQuantification` that allows the use of existential quantification in data type or newtype declarations similar to Haskell, e.g.:
```
data Foo = forall a . Bar a
```https://git.ps.informatik.uni-kiel.de/curry/curry-base/-/merge_requests/5Typed flat curry2018-07-11T08:44:37ZKai ProttTyped flat curryFinn TeegenFinn Teegen