Skip to content

Remove existential quantification and bump version to 3.0

Finn Teegen requested to merge remove-existential-quantification into libs_refactor

Should be merged along with curry/curry-frontend!39 (merged).

Edited by Finn Teegen

Merge request reports