4 ms·Type Narrowing Patterns in Pyrefly That Make Type Checking More Intuitive6 points by ocamoss 8mo ago