From add7ea43b34431bf8574cb029beacece1c982c9b Mon Sep 17 00:00:00 2001
From: Xie Yuheng <xyheme@gmail.com>
Date: Fri, 1 Nov 2024 15:28:12 +0800
Subject: [PATCH] up

---
 README.md                                              |  8 ++++----
 docs/articles/programming-with-interaction-nets.md     | 10 +++++-----
 ...345\272\224\347\275\221\347\274\226\347\250\213.md" | 10 +++++-----
 src/command-line/commands/Run.ts                       |  2 +-
 4 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/README.md b/README.md
index 69953ed..90548ff 100644
--- a/README.md
+++ b/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
diff --git a/docs/articles/programming-with-interaction-nets.md b/docs/articles/programming-with-interaction-nets.md
index 1c0b6fa..3e6ff1e 100644
--- a/docs/articles/programming-with-interaction-nets.md
+++ b/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
diff --git "a/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md" "b/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md"
index 4a937e9..468dcde 100644
--- "a/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.md"
+++ "b/docs/articles/\345\217\215\345\272\224\347\275\221\347\274\226\347\250\213.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
diff --git a/src/command-line/commands/Run.ts b/src/command-line/commands/Run.ts
index 34f1d98..e658f79 100644
--- a/src/command-line/commands/Run.ts
+++ b/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")