Sam Westrick @shwestrick.bsky.social · 16/10/2025Wenhao Tang motivates “Freezing Bidirectional Typing”, a new type inference scheme with some cool 🧊 and spooky 👻 features 000
