Runnable examples live under examples/ in the repository.
examples/
spanda check examples/rover.sd spanda doc examples/ spanda doc --html examples/ --out target/spanda-api-docs
Index: examples/README.md.