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 Haskell language server, add an evaluation code lens. This could use the configured Curry executable (curry.languageServer.curryPath, which is pakcs by default) and then invoke it e.g. like this:
Similar to the Haskell language server, add an evaluation code lens. This could use the configured Curry executable (
curry.languageServer.curryPath
, which ispakcs
by default) and then invoke it e.g. like this:pakcs :load [current module] :eval [expression] :quit
The text was updated successfully, but these errors were encountered: