Updating: very very minorly

githwxi · Sep 4, 2024 · 3ca5216 · 3ca5216
1 parent 29524ca
commit 3ca5216
Show file tree

Hide file tree

Showing 7 changed files with 183 additions and 211 deletions.
diff --git a/prelude/DATS/VT/gxyz000_vt.dats b/prelude/DATS/VT/gxyz000_vt.dats
@@ -602,21 +602,21 @@ Mon 05 Aug 2024 05:49:43 PM EDT
 //
 (*
 #impltmp
-< xs: t0 >
-< x0: t0 >
+< xs:t0 >
+< x0:t0 >
 gseq_strmize0 = gseq_strmize<xs><x0>
 #impltmp
-< xs: t0 >
-< x0: t0 >
+< xs:t0 >
+< x0:t0 >
 gseq_strmize1 = gseq_strmize<xs><x0>
 *)
 //
 (* ****** ****** *)
 //
 (*
 #impltmp
-< xs: t0 >
-< x0: t0 >
+< xs:t0 >
+< x0:t0 >
 gseq_rstrmize0 = gseq_rstrmize<xs><x0>
 #impltmp
 < xs: t0 >
@@ -636,7 +636,7 @@ gasz<t0><vt>?
 //
 HX-2024-08-10:
 Sat 10 Aug 2024 10:37:25 AM EDT
-We can certainly used instead:
+We can certainly use instead:
 gasz_vt<t0><vt> for gasz<t0><vt>
 It does seem that this desgin of
 supporting gasz<t0><vt> makes some