6 ms·
The interactive challenges and the step-by-step mental models for recursive types and distributive conditionals are incredibly well-structured. It's cool to tra
by momo26 4mo ago
The interactive challenges and the step-by-step mental models for recursive types and distributive conditionals are incredibly well-structured. It's cool to transform type gymnastics into a systematic engineering discipline.