move MIR syntax into a dedicated file and ping some people whenever it changes

This commit is contained in:
Ralf Jung 2022-06-28 20:05:23 -04:00
parent baf382e63c
commit ab01a73151
4 changed files with 1186 additions and 1148 deletions

File diff suppressed because it is too large Load diff