Variable declaration reset: Difference between revisions

Content added Content deleted

Inline

@@ Line 82: / Line 82: @@
     s length <iota> [| i |
         i s nth -1 :> ( curr prev! )
-        i 1 > curr prev = and
+        i 0 > curr prev = and
         [ i . ] when
         curr prev!
@@ Line 100: / Line 100: @@
     s length <iota> [| i |
         i s nth :> curr
-        i 1 > curr prev = and
+        i 0 > curr prev = and
         [ i . ] when
         curr prev!