A hello-world example of what it looks like, and what running it would validate, would be nice.
It's all very abstractly described in the README and that intro page you linked.
It's all very abstractly described in the README and that intro page you linked.