Anonymous
08/13/2019 (Tue) 11:53:23
No.6399
del
>>6386>>6398Thankfully 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"!