Comment by unstruktured

There is absolutely no reason to use double semicolons in practice. The only place you really should see it is when using the repl.