You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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).
The text was updated successfully, but these errors were encountered:
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
).The text was updated successfully, but these errors were encountered: