Anonymous 8/13/2019 11:53:00 No. 6399 [Open] [Reply] Actions report Translate Thread... Hide Thread Translate... Hide Post >>/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"!