User interfaces

Lambdapi provides a language server for (an extension of) the LSP protocol, which is supported by most editors. See below for setting up common editors.

The server is run using the command lambdapi lsp. The flag --standard-lsp can be used to enforce strict LSP protocol and, thus, currently, deactivate goal display.