Skip to content

Update libraries for KiCS2

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

This branch applies some fixes, most notably to the Prelude, for compilation with KiCS2.

Edited by Michael Hanus

Merge request reports