It might be worth adding to the summary that this compiles into native machine code. Using its own code generator, by the looks of it --- that's hard core! But it doesn't look like there's an optimiser yet.

Plus it's fully self-hosting, too; the sign of a properly grown up language.