Add representation of newtypes and kinds (!1) · Merge requests · curry-packages / flatcurry

Fredrik Wieczerkowski requested to merge newtypes into libs_refactor Nov 10, 2020

...which is also being integrated into KiCS2. I'll target the libs_refactor branch for now, since this is where development currently seems to happen, but feel free to re-target master.

Fixes #1.

Edited Nov 18, 2020 by Fredrik Wieczerkowski

Add representation of newtypes and kinds

Merge request reports