Doc

Wasm-DSL · Jul 27, 2023 · 81976dd · 81976dd
1 parent 4598a82
commit 81976dd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/spectec/doc/Language.md b/spectec/doc/Language.md
@@ -75,6 +75,7 @@ iter ::=
   "*"                                  list
   "+"                                  non-empty list
   "^" arith                            list of specific length
+  "^" "(" id "<" arith ")"             list of specific length with index (only in expressions)
 ```
 Iterated types essentially describe options or lists of phrases.