Changes between Version 4 and Version 5 of Arrays

Timestamp:

09/15/13 09:17:46 (13 years ago)

Author:

siegel

Comment:

--

Arrays

@@ -59 +59 @@
 == Sequence Operations ==
 
-The following operations are available for arrays:
+The following operations are available for true arrays:
 
 * `int $length(T a[[]])`
@@ -70 +70 @@
  * returns the result of removing the element at index `i` from the array `a` (with subsequent elements shifted down)
 * `T[[]] $subseq(T a[[]], int start, int end)`
- * returns the subsequence of `a` starting at index `start` and ending at index `end-1`
+ * returns the sub-array of `a` starting at index `start` and ending at index `end-1`
 * `T[[]] $write(T a[[]], int i, T x)`
- * returns the sequence obtained by replacing the element of `a` at index `i` with `x`
+ * returns the array obtained by replacing the element of `a` at index `i` with `x`
 
 == Other related ideas ==