Re:Mypy 1.6
by diarrhea on Wednesday October 18, 2023 @09:59AM
(#37928780)
Ah okay, thanks for the context. The projects are quite close in terms of GitHub stars, 11k vs 16k.
[ Parent
| on HN ]