update docs about using @spread to do rearrange

cicada-lang · Sep 13, 2023 · 3cae3ae · 3cae3ae
1 parent adaa71a
commit 3cae3ae
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 22 deletions.
diff --git a/README.md b/README.md
@@ -181,13 +181,20 @@ end
 import zero from "https://cdn.inet.run/tests/datatype/Nat.i"
 import cons from "https://cdn.inet.run/tests/datatype/List.i"
 
-zero (cons :tail) zero cons diff @rot @rot @connect
-zero (cons :tail) zero cons diff @rot @rot @connect
+(diff) @spread $front $back $value
+back zero cons zero cons front @connect value
+(diff) @spread $front $back $value
+back zero cons zero cons front @connect value
 diff_append
 
-zero (cons :tail) zero cons diff @rot @rot @connect
-zero (cons :tail) zero cons diff @rot @rot @connect
-diff_append @run $result
+// The code above can be simplified
+// by using less named local variables.
+
+(diff) @spread $front zero cons zero cons front @connect
+(diff) @spread $front zero cons zero cons front @connect
+diff_append
+
+@run $result
 ```
 
 ## Development

diff --git a/TODO.md b/TODO.md
@@ -1,23 +1,7 @@
-update docs about using `@spread` to do rearrange
+update links to playground -- for `@spread`
 
 `(cons)` -- unconnected node as value -- redesign syntax of rearrange
 
-```
-(cons) @spread $value $tail $head
-zero head @connect value zero cons diff $value tail @connect value
-(cons) @spread $value $tail $head
-zero head @connect value zero cons diff $value tail @connect value
-diff_append
-```
-
-```
-(cons) @spread $value $tail zero @connect
-value zero cons diff $value tail @connect value
-(cons) @spread $value $tail zero @connect
-value zero cons diff $value tail @connect value
-diff_append
-```
-
 ```
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value