Changes between Version 3 and Version 4 of Arrays

Timestamp:

09/14/13 14:46:34 (13 years ago)

Author:

siegel

Comment:

--

Arrays

@@ -63 +63 @@
 * `int $length(T a[[]])`
  * returns the number of elements in this array
-* `T[[]] $concat(T a[[]], Tb[[]])`
+* `T[[]] $concat(T a[[]], T b[[]])`
  * returns the concatenation of two arrays
 * `T[[]] $add(T a[[]], T x)`
  * returns the result of adding the element `x` to the end of array `a`
 * `T[[]] $remove(T a[[]], int i)`
- * returns the result of removing the element at index `i` from the array `a` (with subsequent element shifted down)
+ * 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`