Add library target and specify Git-dependency on curry-base
#88 (closed) and #89 (closed).Fixes
This PR splits the frontend into a library and an executable target, thereby making the frontend easier to embed into other applications (such as
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.