Update the language spec

informalsystems · Mar 14, 2024 · c70ae5a · c70ae5a
1 parent 9c08b7d
commit c70ae5a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/doc/lang.md b/doc/lang.md
@@ -1300,14 +1300,14 @@ sets of records: (1) It often confuses beginners, (2) It can be expressed with
 
 ### Tuples
 
-In contrast to TLA+, Quint tuples have length of at least 2.
-If you need lists, use lists.
-
 ```scala
 // Tuple constructor: << e_1, ..., e_n >>
-// Warning: n >= 2
 (e_1, ..., e_n)
 Tup(e_1, ..., e_n)
+// The empty tuple is also the canonical unit type
+// <<>>
+()
+Tup()
 // t[1], t[2], t[3], t[4], ... , t[50]
 t._1
 t._2