Skip to content
GitLab
Explore
Sign in
Register
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
Loading