[pre-RFC] Language Specification for TIR

[slyubomirsky]

I’m planning to discuss this topic live at a community meeting, please join if you’re interested!

Community Meeting May 10: TIR Specification

Dear TVM Community: I would like to propose a TVM Community Meeting on Wednesday, May 10 at 8:00am PDT, 15:00 UTC, 16:00 CEST, 21:30 India, 24:00 China. The agenda for this meeting can be found in the agenda doc. In particular, I would like to discuss the TIR draft specification. Anyone is welcomed to add items to the agenda doc—please note that we expect all agenda items to link to a forum post or RFC where notes and follow-up discussion can be held. The meeting will be over Zoom; you can jo…