From 821ae5cee453c989319c0471e9ca83802d66d0b5 Mon Sep 17 00:00:00 2001
From: xenia <xenia.agda@gmail.com>
Date: Mon, 11 Dec 2023 20:06:41 +0100
Subject: [PATCH] Enable type checker for python

---
 home/common.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/common.nix b/home/common.nix
index fc312af8..fe21c75d 100644
--- a/home/common.nix
+++ b/home/common.nix
@@ -32,7 +32,7 @@ in rec {
     rink
     ghc
     ( python310.withPackages (ps: with ps; [
-      ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy # (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
+      ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
       (extras.challtools ps)
     ]))
     ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )