Summary

We produced a compiler for a domain specific language.

By "compiler", we mean at least:

Lexing and Parsing
Variable binding
Type checking
Error reporting
Native code generation

And we did it in under 400 lines of code.