Bring in mypy and fix some typing bits

2021-01-03 19:44:00 -05:00
parent 7885ef33d4
commit f8cc14431b
3 changed files with 106 additions and 2 deletions
--- a/aoc2020/Pipfile
+++ b/aoc2020/Pipfile
@@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+
+[dev-packages]
+mypy = ""
+
+[requires]
+python_version = "3.9"