From dae15c608d8166705f51bd686220cee54919adb0 Mon Sep 17 00:00:00 2001
From: Martin Henz <henz@comp.nus.edu.sg>
Date: Sun, 7 Apr 2024 17:50:00 +0800
Subject: [PATCH] Documentation: fixes #1620 (#1647)

---
 docs/specs/source_arrays.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/specs/source_arrays.tex b/docs/specs/source_arrays.tex
index 3cb9a8b04..eb6f64b1b 100644
--- a/docs/specs/source_arrays.tex
+++ b/docs/specs/source_arrays.tex
@@ -5,3 +5,6 @@ \subsection*{Arrays}
 let my_array_1 = [];
 let my_array_2 = [42, 71, 13];
 \end{lstlisting}
+Array access of the form $a$\lstinline{[}$i$\lstinline{]} has constant time complexity $\Theta(1)$.
+Array assignment the form $a$\lstinline{[}$n$\lstinline{] = }$x$ has a time complexity
+$O(n)$.