initial commit

rebranding everything
2023-09-24 21:36:57 +08:00
parent f522c4ea89
commit e616245e3d
26 changed files with 2351 additions and 2 deletions
--- a/mypi.ini
+++ b/mypi.ini
@@ -0,0 +1,7 @@
+[mypy]
+check_untyped_defs = True
+disallow_any_generics = True
+disallow_untyped_calls = True
+disallow_untyped_defs = True
+ignore_missing_imports = True
+strict_optional = False