ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

LSP-lean

by LexouDuck ST4

Lean support for Sublime's LSP plugin

Labels lsp, lean

Details

  • 1.2.1
  • github.​com
  • github.​com
  • 3 months ago
  • 44 minutes ago
  • 3 months ago

Installs

  • Total 19
  • Win 7
  • Mac 4
  • Linux 8
Feb 3 Feb 2 Feb 1 Jan 31 Jan 30 Jan 29 Jan 28 Jan 27 Jan 26 Jan 25 Jan 24 Jan 23 Jan 22 Jan 21 Jan 20 Jan 19 Jan 18 Jan 17 Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8 Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0
Mac 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

LSP-lean

Lean support for Sublime's LSP plugin

Uses Lean to provide completions, validation, and other features for lean code.

Installation

  1. Install LSP and LSP-lean from Package Control.
  2. Restart Sublime Text.

Note

  1. Make sure you have already installed lean, such that the command works and is accessible from your PATH.
  2. The lean language syntax definition is provided separately as the Lean package in Package Control.

Configuration

Open configuration file by running Preferences: LSP-lean Settings from Command Palette or via Main Menu (Preferences > Package Settings > LSP > Servers > LSP-lean).