Skip to content

Add library target and specify Git-dependency on curry-base

Fredrik Wieczerkowski requested to merge library-target into master

Fixes #88 (closed) and #89 (closed).

This PR splits the frontend into a library and an executable target, thereby making the frontend easier to embed into other applications (such as curry-language-server).

Additionally, it adds a cabal.project file specifying curry-base as a source repository to make the build more reproducible.

More details can be found in the accompanying issues.

Merge request reports