Updating: very very minorly

docgenx/TEMPTORY/TEXT/GSEQ-intro.md

@@ -71,23 +71,23 @@ to as a combinator (which originally means a closed term in lambda-calculus).
 ------
 
 * **rforall**:
-  It is like `forall` but processing in done in the reverse order.
+  It is like `forall` but processing is done in the reverse order.
 * **rexists**:
-  It is like `exists` but processing in done in the reverse order.
+  It is like `exists` but processing is done in the reverse order.
 * **rforeach**:
-  It is like `foreach` but processing in done in the reverse order.
+  It is like `foreach` but processing is done in the reverse order.
 
 * **foldr**:
-  It is like `foldl` but processing in done in the reverse order.
+  It is like `foldl` but processing is done in the reverse order.
 
 * **rlistize**:
   It is for turning a given sequence into a linear list
   in the reverse order.
 
 * **rmap_list**:
-  It is like `map_list` but processing in done in the reverse order.
+  It is like `map_list` but processing is done in the reverse order.
 * **rmap_rlist**:
-  It is like `map_rlist` but processing in done in the reverse order.
+  It is like `map_rlist` but processing is done in the reverse order.
 
 ------
 

prelude/SATS/VT/gseq000_vt.sats

@@ -505,16 +505,16 @@ fun
 glseq_mul0$nil(): (x0)
 fun
 <xs:vt>
-<x0:vt>glseq_mul0(xs): (x0)
+<x0:vt>glseq_mul0(~xs): (x0)
 //
 fun
 <xs:vt>
 <x0:vt>
-<y0:vt>glseq_map0_add0(xs): (y0)
+<y0:vt>glseq_map0_add0(~xs): (y0)
 fun
 <xs:vt>
 <x0:vt>
-<y0:vt>glseq_map0_mul0(xs): (y0)
+<y0:vt>glseq_map0_mul0(~xs): (y0)
 //
 (* ****** ****** *)
 //

srcgen2/TEST/JS/DATA/trtmp3b_002.dats

@@ -33,4 +33,10 @@ foldl$fopr
 
 (* ****** ****** *)
 
+fun
+fact(n: int): int =
+glseq_mul0(strm_vt_range_lte(1, n))
+
+(* ****** ****** *)
+
 (* end of [DATA/trtmp3b_002.dats] *)