If you do an example less trivial than "Hello world", it also lets people see a concrete example of the semantics, rather than just getting a high-level descrip

If you do an example less trivial than "Hello world", it also lets people see a concrete example of the semantics, rather than just getting a high-level description of it