2019/d07/ex1/ex1.py

@@ -1,9 +1,5 @@
 #!/usr/bin/env python
 
-# Mypy has issues with assigning Callable to fields of objects
-# See https://github.com/python/mypy/issues/708
-# type: ignore
-
 import itertools
 import sys
 from copy import deepcopy

flake.nix

@@ -56,9 +56,6 @@
 
         devShell = pkgs.mkShell {
           buildInputs = with pkgs; [
-            pkgs.python3Packages.black
-            pkgs.python3Packages.isort
-            pkgs.python3Packages.mypy
             python3
           ];