2 commits

Author	SHA1	Message	Date
Ralf Jung	6c990f48af	fix doc issues	2022-06-29 19:18:30 -04:00
Ralf Jung	ab01a73151	move MIR syntax into a dedicated file and ping some people whenever it changes	2022-06-29 16:03:24 -04:00