Closed marcelm closed 11 months ago
We don’t really use them consistently at the moment, but it’s helpful to keep them a bit up to date, if only to get more helpful pop-ups in the IDE.
(This particular commit reduces the number of errors reported by Mypy from about 22 to 13).
Marked as draft because this will probably conflict as soon as #33 and/or #36 are merged.
We don’t really use them consistently at the moment, but it’s helpful to keep them a bit up to date, if only to get more helpful pop-ups in the IDE.
(This particular commit reduces the number of errors reported by Mypy from about 22 to 13).
Marked as draft because this will probably conflict as soon as #33 and/or #36 are merged.