Skip to content
GitLab

Update libraries for KiCS2

Merged 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