Hi Victor — exciting work! For language designers interested in this system, is there a common reference for e.g. using it (for example, from a language + lowering pipeline in Rust)?

(Or perhaps that’s also what you alluded to in the next couple of months)