An Early Play with Astral's Red Knot Static Type Checker(jurasofish.github.io)

https://jurasofish.github.io/./a-very-early-play-with-astrals-red-knot-static-type-checker.html