A tiny language, to explain how programming languages are implemented.