change -> back to --

Author: xieyuheng

README.md

@@ -10,7 +10,7 @@ as a [forth-like language](https://en.wikipedia.org/wiki/Forth_(programming_lang
 ## Syntax
 
 ```xml
-define-node <name> <input-ports> -> <output-ports> end
+define-node <name> <input-ports> -- <output-ports> end
 define-rule <name> <name> <function-body> end
 define <name> <function-body> end
 ```
@@ -20,9 +20,9 @@ define <name> <function-body> end
 ### Natural Number
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 ```
 
 The rule between `(nadd1)` and `(nadd)` as ASCII art:
@@ -104,9 +104,9 @@ Example interaction:
 The whole program with test:
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 
 define-rule nzero nadd
   ( addend result )
@@ -164,9 +164,9 @@ wire-print-net
 ### List
 
 ```
-define-node nil -> value! end
-define-node cons tail head -> value! end
-define-node append target! rest -> result end
+define-node nil -- value! end
+define-node cons tail head -- value! end
+define-node append target! rest -- result end
 
 define-rule nil append
   ( rest result )
@@ -179,7 +179,7 @@ define-rule cons append
   head cons result connect
 end
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 nil sole cons sole cons sole cons
 nil sole cons sole cons sole cons

docs/articles/programming-with-interaction-nets.md

@@ -212,9 +212,9 @@ We design the statement to define node as follows:
 The aforementioned nodes are defined as follows:
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 ```
 
 # 5
@@ -275,9 +275,9 @@ In which we will use `define` to define new words,
 and use `--` to comment a line.
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 
 define-rule nzero nadd
   ( addend result )
@@ -381,7 +381,7 @@ first!   second
 Node definition:
 
 ```
-define-node nat-max first! second -> result end
+define-node nat-max first! second -- result end
 ```
 
 The interaction between `(nzero)` and `(nzero)` is simple:
@@ -434,7 +434,7 @@ first    second!
 Node definition:
 
 ```
-define-node nat-max-aux first second! -> result end
+define-node nat-max-aux first second! -- result end
 ```
 
 Using the auxiliary node to define
@@ -501,8 +501,8 @@ end
 ```
 
 ```
-define-node nat-max first! second -> result end
-define-node nat-max-aux first second! -> result end
+define-node nat-max first! second -- result end
+define-node nat-max-aux first second! -- result end
 
 define-rule nzero nat-max
   ( second result )
@@ -560,7 +560,7 @@ Thus when we want to factor out a subsequence from a sequence of words,
 there will be no complicated syntax preventing us from doing so.
 
 ```
-define-node nat-erase target! -> end
+define-node nat-erase target! -- end
 
 define-rule nzero nat-erase end
 
@@ -569,7 +569,7 @@ define-rule nadd1 nat-erase
   prev nat-erase
 end
 
-define-node nat-dup target! -> first second end
+define-node nat-dup target! -- first second end
 
 define-rule nzero nat-dup
   ( first second )
@@ -585,7 +585,7 @@ define-rule nadd1 nat-dup
   prev-first nadd1 first connect
 end
 
-define-node nmul target! mulend -> result end
+define-node nmul target! mulend -- result end
 
 define-rule nzero nmul
   ( mulend result )
@@ -617,9 +617,9 @@ The difference is that the `(nadd1)` of natural number only nadd one node,
 while the `(cons)` of list nadd one node and link to an extra node.
 
 ```
-define-node nil -> value! end
-define-node cons tail head -> value! end
-define-node append target! rest -> result end
+define-node nil -- value! end
+define-node cons tail head -- value! end
+define-node append target! rest -- result end
 
 define-rule nil append
   ( rest result )
@@ -634,7 +634,7 @@ end
 
 -- test
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 nil sole cons sole cons sole cons
 nil sole cons sole cons sole cons
@@ -669,9 +669,9 @@ But in interaction nets,
 the relationship between all nodes is symmetric.
 
 ```
-define-node diff front -> back value! end
-define-node diff-append target! rest -> result end
-define-node diff-open new-back target! -> old-back end
+define-node diff front -- back value! end
+define-node diff-append target! rest -- result end
+define-node diff-open new-back target! -- old-back end
 
 define-rule diff diff-append
   ( rest result ) ( front back )
@@ -687,7 +687,7 @@ end
 
 -- test
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 define sole-diff-list
   wire-pair ( front front-op )

docs/articles/反应网编程.md

@@ -209,9 +209,9 @@ year: 2023
 前文提到的节点定义如下：
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 ```
 
 # 5
@@ -270,9 +270,9 @@ end
 在其中，我们还用了 `define` 来定义新词，用 `--` 来注释一行。
 
 ```
-define-node nzero -> value! end
-define-node nadd1 prev -> value! end
-define-node nadd target! addend -> result end
+define-node nzero -- value! end
+define-node nadd1 prev -- value! end
+define-node nadd target! addend -- result end
 
 define-rule nzero nadd
   ( addend result )
@@ -369,7 +369,7 @@ first!   second
 定义如下：
 
 ```
-define-node nat-max first! second -> result end
+define-node nat-max first! second -- result end
 ```
 
 `(nzero)` 与 `(nzero)` 的反应很简单：
@@ -423,7 +423,7 @@ first    second!
 定义如下：
 
 ```
-define-node nat-max-aux first second! -> result end
+define-node nat-max-aux first second! -- result end
 ```
 
 利用辅助节点定义 `(nadd1)` 和 `(nat-max)` 之间的规则：
@@ -489,8 +489,8 @@ end
 ```
 
 ```
-define-node nat-max first! second -> result end
-define-node nat-max-aux first second! -> result end
+define-node nat-max first! second -- result end
+define-node nat-max-aux first second! -- result end
 
 define-rule nzero nat-max
   ( second result )
@@ -546,7 +546,7 @@ one two nat-max
 不用考虑那么多语法上相互影响的地方。
 
 ```
-define-node nat-erase target! -> end
+define-node nat-erase target! -- end
 
 define-rule nzero nat-erase end
 
@@ -555,7 +555,7 @@ define-rule nadd1 nat-erase
   prev nat-erase
 end
 
-define-node nat-dup target! -> first second end
+define-node nat-dup target! -- first second end
 
 define-rule nzero nat-dup
   ( first second )
@@ -571,7 +571,7 @@ define-rule nadd1 nat-dup
   prev-first nadd1 first connect
 end
 
-define-node nmul target! mulend -> result end
+define-node nmul target! mulend -- result end
 
 define-rule nzero nmul
   ( mulend result )
@@ -604,9 +604,9 @@ two two nmul
 还连接到了一个额外的节点。
 
 ```
-define-node nil -> value! end
-define-node cons tail head -> value! end
-define-node append target! rest -> result end
+define-node nil -- value! end
+define-node cons tail head -- value! end
+define-node append target! rest -- result end
 
 define-rule nil append
   ( rest result )
@@ -621,7 +621,7 @@ end
 
 -- test
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 nil sole cons sole cons sole cons
 nil sole cons sole cons sole cons
@@ -652,9 +652,9 @@ append
 而在反应网中，所有节点之间的关系是对称的。
 
 ```
-define-node diff front -> back value! end
-define-node diff-append target! rest -> result end
-define-node diff-open new-back target! -> old-back end
+define-node diff front -- back value! end
+define-node diff-append target! rest -- result end
+define-node diff-open new-back target! -- old-back end
 
 define-rule diff diff-append
   ( rest result ) ( front back )
@@ -670,7 +670,7 @@ end
 
 -- test
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 define sole-diff-list
   wire-pair ( front front-op )

examples/combinators.fth

@@ -2,9 +2,9 @@
 // D: duplicate
 // E: erase
 
-define-node C car cdr -> value! end
-define-node D target! -> first second end
-define-node E target! -> end
+define-node C car cdr -- value! end
+define-node D target! -- first second end
+define-node E target! -- end
 
 define-rule C C
   ( top-car top-cdr )

examples/combinators.play.fth

@@ -2,9 +2,9 @@
 // D: duplicate
 // E: erase
 
-define-node C car cdr -> value! end
-define-node D target! -> first second end
-define-node E target! -> end
+define-node C car cdr -- value! end
+define-node D target! -- first second end
+define-node E target! -- end
 
 define-rule C C
   ( top-car top-cdr )

examples/datatypes/diff-list.test.fth

@@ -1,6 +1,6 @@
-define-node diff front -> back value! end
-define-node diff-append target! rest -> result end
-define-node diff-open new-back target! -> old-back end
+define-node diff front -- back value! end
+define-node diff-append target! rest -- result end
+define-node diff-open new-back target! -- old-back end
 
 // plug the front of the `target` to the back of `rest`.
 
@@ -18,9 +18,9 @@ end
 
 // import nil cons append "list.fth"
 
-define-node nil -> value! end
-define-node cons tail head -> value! end
-define-node append target! rest -> result end
+define-node nil -- value! end
+define-node cons tail head -- value! end
+define-node append target! rest -- result end
 
 define-rule nil append
   ( rest result )
@@ -35,7 +35,7 @@ end
 
 // test
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 define sole-diff-list
   wire-pair ( front front-op )

examples/datatypes/list.test.fth

@@ -1,6 +1,6 @@
-define-node nil -> value! end
-define-node cons tail head -> value! end
-define-node append target! rest -> result end
+define-node nil -- value! end
+define-node cons tail head -- value! end
+define-node append target! rest -- result end
 
 define-rule nil append
   ( rest result )
@@ -13,7 +13,7 @@ define-rule cons append
   head cons result connect
 end
 
-define-node sole -> value! end
+define-node sole -- value! end
 
 nil sole cons sole cons sole cons
 nil sole cons sole cons sole cons