Skip to content
GitLab
Explore
Sign in
Register
curry-packages
abstract-curry
Merge requests
!1
Remove existential quantification and bump version to 3.0
Code
Review changes
Check out branch
Download
Patches
Plain diff
Finn Teegen
requested to merge
remove-existential-quantification
into
libs_refactor
Nov 17, 2020
Overview
0
Commits
1
Pipelines
0
Changes
5
Expand
Should be merged along with
curry/curry-frontend!39 (merged)
.
Edited
Nov 17, 2020
by
Finn Teegen
Merge request reports