Red Knot

Early Explorations of Astral's Red Knot Type Checker

April 3, 2025