Frege LSP Server

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

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
.github/workflows		.github/workflows
docs		docs
gradle/wrapper		gradle/wrapper
src/main		src/main
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
antora-playbook.yml		antora-playbook.yml
build.gradle		build.gradle
doc.html		doc.html
flake.lock		flake.lock
flake.nix		flake.nix
gradle.properties		gradle.properties
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle		settings.gradle

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Repository files navigation

Frege LSP Server

Documentation

How to use

How to Contribute

About

Uh oh!

Releases

Packages

Uh oh!

Contributors 2

Uh oh!

Languages

License

tricktron/frege-lsp-server

Folders and files

Latest commit

History

Repository files navigation

Frege LSP Server

Documentation

How to use

How to Contribute

About

Resources

License

Uh oh!

Stars

Watchers

Forks

Releases

Packages 0

Uh oh!

Contributors 2

Uh oh!

Languages

Packages