typo: It's a minimal layer meant to generate machine code that will work on multiple different machines i.e. it's about code generation, not abstraction, not t

typo: It's a minimal layer meant to generate machine code that will work on multiple different machines i.e. it's about code generation, not abstraction, not type checking, etc.