Skip to content

WIP: Update libraries for KiCS2

Fredrik Wieczerkowski requested to merge fwcd/curry-libs:update-frontend into master

This branch updates the libraries to compile with KiCS2 again.

Merge request reports