Similar to the existing Curry compilers (PAKCS and KiCS2) we could vendor our own versions of the libraries and the CPM as Git submodules to remove the runtime dependency on an existing Curry compiler (which is currently configured to use pakcs by default and configurable as curry.languageServer.curryPath).
Similar to the existing Curry compilers (PAKCS and KiCS2) we could vendor our own versions of the libraries and the CPM as Git submodules to remove the runtime dependency on an existing Curry compiler (which is currently configured to use
pakcs
by default and configurable ascurry.languageServer.curryPath
).