Add type annotations, conform to protocols#136
Merged
justvanrossum merged 16 commits intomainfrom protocolsDec 13, 2023
+138-109
Commits
Commits on Dec 12, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
