Re:Ty: A fast Python type checker and language server
by _carljm on Wednesday May 07, 2025 @05:31PM
(#43920769)
Yes, red knot was the internal development code name; ty is the actual name.
[ Parent
| on HN ]
There are no comments on this comment yet.