Brendan Zabarauskas on Twitter: "Thanks to @pigworker's talks and papers, I think I'm falling in love with the wonderful simplicity of bidirectional type checking! 😍" / Twitter

Thanks to

's talks and papers, I think I'm falling in love with the wonderful simplicity of bidirectional type checking! 😍

Conversation