>>6386
>>6398
Thankfully MIRI now accepts that type theory is the way, the truth, and the light. They even recruit from ICFP now, I met some of them there last year. How far they have come from the ignominious beginnings of "Flare"!