Consistent notation in docs for single effect vs multiple effects

[BruceEckel]

For consistency, I recommend using the {} ONLY when you have multiple effects. For example, instead of:

def readAndParseGuess(): Result[String, Int32] \ {Guess} = ???

def gameLoop(secret: Int32): Unit \ {Guess, Terminal} = ???

I suggest always leaving the {} off for single effects, like this:

def readAndParseGuess(): Result[String, Int32] \ Guess = ???

def gameLoop(secret: Int32): Unit \ {Guess, Terminal} = ???

[magnus-madsen]

We've had some discussions internally, but we never managed to write them down.

But I agree with the above. Also that:

• Never write Console + Logger, instead write {Console, Logger}
• If an effect set has the IO effect it must come last.

[BruceEckel]

I might also suggest "No redundant semicolons." For example, at the bottom of https://doc.flix.dev/references.html, we see:

region rc {
    let p = (Ref.fresh(rc, 1), Ref.fresh(rc, 2));
    Ref.put(123, fst(p))
};

and

region rc {
    let r = { fstName = Ref.fresh(rc, "Lucky"), lstName = Ref.fresh(rc, "Luke") };
    Ref.put("Unlucky", r#fstName)
};

Whereas the rest of the page did not use semicolons after regions.

Also note that subsection uses the term "pair" where I think "tuple" would be clearer.

I'm not familiar enough with the language yet to just make these as pull requests...