Finish Strict Typing#885

Merged

blink1073 merged 7 commits into

ipython:mainfrom

blink1073:now-even-more-types

Oct 28, 2023

Commits on Oct 28, 2023

wip strict types
Steven Silvester
committed
finish strict types
Steven Silvester
committed
fix tests
Steven Silvester
committed
cleanup
Steven Silvester
committed
spelling
Steven Silvester
committed
Merge branch 'main' of github.com:ipython/traitlets into now-even-more-types
Steven Silvester
committed
address theme warning
Steven Silvester
committed