Skip to content

julienhenry/vscode-souffle-langserver

Repository files navigation

Soufflé Language Server

Functionality

  • declarations
  • definitions
  • references
  • document highlight
  • some completion
  • hover showing declaration

Configuration

You need to set the configuration 'souffleLanguageServer.rootProjectFile' so it points to the root file of your Soufflé program (i.e. the file you pass to the Soufflé compiler).

About

Soufflé language support for vscode

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published