Skip to content

Frege Language Server Using the Language Server Protocol

License

Notifications You must be signed in to change notification settings

tricktron/frege-lsp-server

Repository files navigation

Frege LSP Server

build license

Frege Language Server using the language server protocol. This is the core container of the Frege IDE.

Documentation

Head over to the Frege IDE docs website.

How to use

See frege-vscode.

How to Contribute

  • Install Java, preferably v11 or newer
  • Install Frege gradle plugin
  • git clone https://github.com/tricktron/frege-lsp-server.git
  • Run ./gradlew clean test to execute tests
  • Add more tests and features

About

Frege Language Server Using the Language Server Protocol

Resources

License

Stars

Watchers

Forks

Packages

No packages published