Is there an a page with more than a few lines of code to show what actual Pony programs look like?
https://github.com/ponylang/ponyc/tree/master/examples
You can find a number of pony library projects under the ponylang org on GitHub:
It's linked from the page, but we should make it more obvious.