Brendan Zabarauskas on Twitter: "the fun of gently nudging people away from hindley milner inference and towards bidirectional type checking… 😊" / Twitter

the fun of gently nudging people away from hindley milner inference and towards bidirectional type checking… 😊

Conversation