/vscode-souffle-langserver

Soufflé language support for vscode

Primary LanguageTypeScriptMIT LicenseMIT

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).