# simple-examples

The tests under this directory make sure that the examples given in the section
"Simple Examples" of the Push 3.0 specification at
http://faculty.hampshire.edu/lspector/push3-description.html work properly
