diff --git a/Messages.md b/Messages.md index 73c2eb1..6f872ff 100644 --- a/Messages.md +++ b/Messages.md @@ -10,10 +10,10 @@ may contain `null` instead of their value type, or may be completely omitted. ## DataTypes ### Tuples -We will write tuples types as `<(A,B)>` for a Tuple containing something of `A` and +We will write tuples types as `(A,B)` for a Tuple containing something of `A` and something of `B`. We will encode this as a JSON Array of length n, where n is the length of the tuple. -For example a Value of `<(Number,String)>` might be `[5,"Hello World!"]` +For example a Value of `(,)` might be `[5,"Hello World!"]` ### Lists we will write `[A]` for the type of Lists containing stuff of type `A`. These are