From 60d7665cb76c47287f880c78452d8cd425fc52b8 Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Mon, 16 Jan 2023 23:29:25 +0100
Subject: [PATCH] Add python LSP server

---
 modules/home.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/home.nix b/modules/home.nix
index dee95b7..dc3b3eb 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -23,6 +23,7 @@
         numpy
         pandas
         pygments
+        python-lsp-server
         scipy
         z3
       ]))