up

README.md

@@ -116,7 +116,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -130,7 +130,7 @@ append @run $result
 ### DiffList
 
 ```inet
-import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 // Concatenation of lists is performed in linear time
 // with respect to its first argument.
@@ -172,8 +172,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

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

@@ -779,7 +779,7 @@ to a local variable named `local`.
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
+from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
 
 node natErase
   Nat :target!
@@ -892,7 +892,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -937,7 +937,7 @@ in reverse order of the definition,
 then we save the ports to local variables for later use.
 
 ```
-import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -972,8 +972,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

docs/articles/反应网编程.md

@@ -750,7 +750,7 @@ three two max
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
+from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
 
 node natErase
   Nat :target!
@@ -861,7 +861,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -900,7 +900,7 @@ append @run $result
 然后我们把这些接口保存到了一些局部变量中。
 
 ```
-import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -935,8 +935,8 @@ rule diff diffOpen
   (diff)-front oldBack-(diffOpen)
 end
 
-import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
+import zero from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.i"
+import cons from "https://code-of-inet-cute.xieyuheng.com/tests/datatype/List.i"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

src/command-line/commands/Run.ts

@@ -30,7 +30,7 @@ export class Run extends Command<Args, Opts> {
       ``,
       `Run a URL:`,
       ``,
-      blue(`  ${runner.name} ${this.name} https://code-of-inet-cute.fidb.app/tests/datatype/Nat.test.i`),
+      blue(`  ${runner.name} ${this.name} https://code-of-inet-cute.xieyuheng.com/tests/datatype/Nat.test.i`),
 
       ``,
     ].join("\n")