This project was created by Seahorse 0.1.6.
To get started, just add your code to programs_py/counter_seahorse.py and run seahorse build.
seahorse build