Feat: Better typing in inverter.py

examples/inverter.py

@@ -6,7 +6,7 @@ class Context(TypedDict):
     result: str
     n_chars: int
 
-def add_to_result(context, c):
+def add_to_result(context: Context, c: str) -> None:
     context["result"] += c
     context["n_chars"] += 1