Start rewrite (yet again)

This will hopefully be the final rewrite.
This commit is contained in:
Joscha 2019-04-06 09:02:09 +00:00
parent 5e108fd31b
commit a5af01f669
19 changed files with 455 additions and 1344 deletions

3
mypy.ini Normal file
View file

@ -0,0 +1,3 @@
[mypy]
disallow_untyped_defs = True
disallow_incomplete_defs = True