Changes between Version 21 and Version 22 of PIL

Timestamp:

10/16/24 15:11:31 (19 months ago)

Author:

siegel

Comment:

--

PIL

@@ -267 +267 @@
  * the sequence obtained from `a` by removing every element for which `f(a[i])` is `$false`
 - `$pure $logic U $seq_foldl(T[] a, $fun<$tuple<T,U>,U> f, U init);`
- * the sequence b which has the same length as `a`, and where b[0]=f(init, a[0]), b1=f(b[0], a[1]), b2=f(b[1], a[2]), etc.
+ * the sequence b which has the same length as `a`, and where `b[0]`=`f(init, a[0])`, `b1`=`f(b[0], a[1])`, `b2=f(b[1], a[2])`, etc.
 - `$pure $logic U $seq_foldr(T[] a, $fun<$tuple<T,U>,U> f, U init);`
- * the sequence b which has the same length as `a`, and where b[n-1]=f(a[n-1], init), b[n-2]=f(a[n-2], b[n-1]), etc.
+ * the sequence b which has the same length as `a`, and where `b[n-1]`=`f(a[n-1], init)`, `b[n-2]`=`f(a[n-2], b[n-1])`, etc.
 
 Mutating expressions: