Add the other connection to examples/connection.prl. (#571)
Add the other connection to examples/connection.prl. (#571)

* Add the other connection to examples/connection.prl.

* Reformatting.

RedPRL/sml-redprl,JonPRL/sml-red-jonprl