Skip to content

Add representation of newtypes

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 were development currently seems to happen, but feel free to re-target master.

Currently blocked on:

  • A new version of flatcurry that includes recent changes

Fixes #3.

Edited by Fredrik Wieczerkowski

Merge request reports

Loading