Add Kind information to explicitly bound type variables in FlatCurry (!15) · Merge requests · curry / curry-base · GitLab

Kai Prott requested to merge typevars-with-kinds into master Jan 24, 2020

Followed by curry-frontend!20 (merged)