From f5ae2d9558d143273179116f5995f4c397f6f1d3 Mon Sep 17 00:00:00 2001 From: Dennis Frieberg Date: Wed, 31 Mar 2021 21:09:46 +0200 Subject: [PATCH] fixed <,> in Tuple section --- Messages.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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