Comments on the "Distributed Smart Contracting..." document

[Bill Frantz]

One thing I left out of the last set:

On page 4 it says, "Curly braces in E must use newlines according to the
standard "one true brace"(*) style -- as shown below."  On page 5 it
includes the example, "define z := if (x > y) {x} else {y}".  Well which is
it?  Can one use C/C++/Java rules, or is there a big brother language rule
which says one must use several lines, making the example harder to read?

* About the most offensive name a style could have.