Sebastian Ullrich be8abe9f86 feat: Nix: support LSP		2020-12-23 20:00:36 +01:00
..
templates/pkg	feat: Nix: template for custom packages	2020-11-28 17:36:20 +01:00
bootstrap.nix	feat: Nix: support LSP	2020-12-23 20:00:36 +01:00
buildLeanPackage.nix	chore: Nix: preserve source paths in debug builds	2020-12-20 16:46:03 +01:00
lean-dev.in	feat: Nix: support LSP	2020-12-23 20:00:36 +01:00
packages.nix	chore: simplify & fix lean4-lsp.el	2020-12-23 20:00:36 +01:00