Skip to content

Add representation of newtypes and kinds

Fredrik Wieczerkowski requested to merge newtypes into libs_refactor

...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 by Fredrik Wieczerkowski

Merge request reports