> The difference between compiling and lowering is that the syntax of the output of lowering is a strict subset of the syntax of its' input, whereas the output

> The difference between compiling and lowering is that the syntax of the output of lowering is a strict subset of the syntax of its' input, whereas the output of compiling produces a completely different format, e.g. an AST, an in-memory graph, assembly, machine code, etc. Brilliant, thanks for that explanation, I understand 'lowering' even more now!