Thomas M Kehrenberg
Results
112
comments of
Thomas M Kehrenberg
Currently this type-checks on the playground (I don't know whether it also type-checks on main): ```python from typing import TypedDict class TD(TypedDict): a: str x: TD = 1 ``` Even...
One option might be to re-use emacs' footer, which it adds to documents: ```tex %%% Local Variables: %%% mode: latex %%% TeX-master: "main" %%% End: ```