Liam O'ConnorI had an extremely frustrating exchange with a FP practitioner who was overly enthusiastic about Curry-Howard the other day, so I tried to write up my thoughts in this note here.
Ashton Wiersdorf@liamoc a decent chunk of my blog posts stem from frustrating conversations. Thank you for writing yours up!