From 5f332cc4fa43126c31d306e63225f06f09f5800e Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Mon, 13 Dec 2021 18:03:24 +0100
Subject: [PATCH 1/2] 2019: d07: ex1: quieten Mypy

---
 2019/d07/ex1/ex1.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/2019/d07/ex1/ex1.py b/2019/d07/ex1/ex1.py
index 1808ec8..5bea100 100755
--- a/2019/d07/ex1/ex1.py
+++ b/2019/d07/ex1/ex1.py
@@ -1,5 +1,9 @@
 #!/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

From b1f325432c77a9f6bbf98f9438f1d98cc1a04b80 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Mon, 13 Dec 2021 18:03:55 +0100
Subject: [PATCH 2/2] nix: add tools to devShell

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/flake.nix b/flake.nix
index 614040f..ba32138 100644
--- a/flake.nix
+++ b/flake.nix
@@ -56,6 +56,9 @@
 
         devShell = pkgs.mkShell {
           buildInputs = with pkgs; [
+            pkgs.python3Packages.black
+            pkgs.python3Packages.isort
+            pkgs.python3Packages.mypy
             python3
           ];