Skip to content

Add representation of newtypes

...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 fwcd

Merge request reports

Loading