Merge pull request #140 from noir-lang/zepedro/dynamic_arrays

Adding documentation for dynamic arrays

docs/language_concepts/00_data_types.md

@@ -185,6 +185,18 @@ fn main() {
 All elements in an array must be of the same type (i.e. homogeneous). That is, an array cannot group
 a `Field` value and a `u8` value together for example.
 
+You can write mutable arrays, like:
+
+```rust
+fn main() {
+    let mut arr = [1, 2, 3, 4, 5];
+    assert(arr[0] == 1);
+
+    arr[0] = 42;
+    assert(arr[0] == 42);
+}
+```
+
 #### Types
 
 You can create arrays of primitive types or structs. There is not yet support for nested arrays

versioned_docs/version-0.4.1/language_concepts/data_types.md

@@ -186,6 +186,18 @@ fn main() {
 All elements in an array must be of the same type (i.e. homogeneous). That is, an array cannot group
 a `Field` value and a `u8` value together for example.
 
+You can write mutable arrays, like:
+
+```rust
+fn main() {
+    let mut arr = [1, 2, 3, 4, 5];
+    constrain arr[0] == 1;
+
+    arr[0] = 42;
+    constrain arr[0] == 42;
+}
+```
+
 #### Types
 
 You can create arrays of primitive types or structs. There is not yet support for nested arrays