fixed <,> in Tuple section

This commit is contained in:
Dennis Frieberg 2021-03-31 21:09:46 +02:00
parent 5067476f1a
commit f5ae2d9558

View file

@ -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 `(<Number>,<String>)` might be `[5,"Hello World!"]`
### Lists
we will write `[A]` for the type of Lists containing stuff of type `A`. These are