ambr code-of-inet code-of-inet-cute

cicada-lang · Sep 18, 2023 · c1c6512 · c1c6512
1 parent 58d2bbc
commit c1c6512
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 15 deletions.
diff --git a/README.md b/README.md
@@ -124,7 +124,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -140,7 +140,7 @@ append @run $result
 [ [Goto The Playground](https://inet.run/playground/aW1wb3J0IExpc3QgZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKLy8gQ29uY2F0ZW5hdGlvbiBvZiBsaXN0cyBpcyBwZXJmb3JtZWQgaW4gbGluZWFyIHRpbWUKLy8gd2l0aCByZXNwZWN0IHRvIGl0cyBmaXJzdCBhcmd1bWVudC4KLy8gQ29uc3RhbnQgdGltZSBjb25jYXRlbmF0aW9uIGlzIHBvc3NpYmxlCi8vIHdpdGggZGlmZmVyZW5jZS1saXN0czogdGhlIGlkZWEgY29uc2lzdHMgaW4KLy8gcGx1Z2dpbmcgdGhlIGZyb250IG9mIHRoZSBzZWNvbmQgYXJndW1lbnQKLy8gYXQgdGhlIGJhY2sgb2YgdGhlIGZpcnN0IG9uZS4KCnR5cGUgRGlmZkxpc3QgQFR5cGUgLS0gQFR5cGUgZW5kCgpub2RlIGRpZmYKICAnQSBMaXN0IDpmcm9udAogIC0tLS0tLS0KICAnQSBMaXN0IDpiYWNrCiAgJ0EgRGlmZkxpc3QgOnZhbHVlIQplbmQKCm5vZGUgZGlmZkFwcGVuZAogICdBIERpZmZMaXN0IDp0YXJnZXQhCiAgJ0EgRGlmZkxpc3QgOnJlc3QKICAtLS0tLS0tLQogICdBIERpZmZMaXN0IDpyZXN1bHQKZW5kCgpub2RlIGRpZmZPcGVuCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBMaXN0IDpsaXN0CiAgLS0tLS0tLS0tLQogICdBIExpc3QgOnJlc3VsdAplbmQKCnJ1bGUgZGlmZiBkaWZmQXBwZW5kCiAgKGRpZmYpLWZyb250IGRpZmYgcmVzdWx0LShkaWZmQXBwZW5kKQogIChkaWZmQXBwZW5kKS1yZXN0IGRpZmZPcGVuIGJhY2stKGRpZmYpCmVuZAoKcnVsZSBkaWZmIGRpZmZPcGVuCiAgKGRpZmYpLWJhY2sgbGlzdC0oZGlmZk9wZW4pCiAgKGRpZmYpLWZyb250IHJlc3VsdC0oZGlmZk9wZW4pCmVuZAoKaW1wb3J0IHplcm8gZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTmF0LmkiCmltcG9ydCBjb25zIGZyb20gImh0dHBzOi8vY29kZS1vZi1pbmV0LmZpZGIuYXBwL3Rlc3RzL2RhdGF0eXBlL0xpc3QuaSIKCihkaWZmKSBAc3ByZWFkICRmcm9udCAkYmFjayAkdmFsdWUKYmFjayB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0IHZhbHVlCihkaWZmKSBAc3ByZWFkICRmcm9udCAkYmFjayAkdmFsdWUKYmFjayB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0IHZhbHVlCmRpZmZBcHBlbmQKCi8vIEJ5IHVzaW5nIG9uZSBsZXNzIGxvY2FsIHZhcmlhYmxlIGAkdmFsdWVgLAovLyB3ZSBjYW4gc2ltcGxpZnkgdGhlIGFib3ZlIGNvZGU6CgooZGlmZikgQHNwcmVhZCAkZnJvbnQgJGJhY2sKYmFjayB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0CihkaWZmKSBAc3ByZWFkICRmcm9udCAkYmFjawpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QKZGlmZkFwcGVuZAoKLy8gQnkgdXNpbmcgb25lIGxlc3MgbG9jYWwgdmFyaWFibGUgYCRiYWNrYCwKLy8gd2UgY2FuIGZ1cnRoZXIgc2ltcGxpZnkgdGhlIGFib3ZlIGNvZGU6CgooZGlmZikgQHNwcmVhZCAkZnJvbnQgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdAooZGlmZikgQHNwcmVhZCAkZnJvbnQgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdApkaWZmQXBwZW5kCgpAcnVuICRyZXN1bHQ) ]
 
 ```inet
-import List from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
 
 // Concatenation of lists is performed in linear time
 // with respect to its first argument.
@@ -182,8 +182,8 @@ rule diff diffOpen
   (diff)-front result-(diffOpen)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+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"
 
 (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
@@ -797,7 +797,7 @@ to a local variable named `local`.
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
+from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
 
 node natErase
   Nat :target!
@@ -913,7 +913,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -960,7 +960,7 @@ then we save the ports to local variables for later use.
 [Goto the playground of `DiffList` and `(diffAppend)`](https://inet.run/playground/aW1wb3J0IExpc3QgZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKdHlwZSBEaWZmTGlzdCBAVHlwZSAtLSBAVHlwZSBlbmQKCm5vZGUgZGlmZgogICdBIExpc3QgOmZyb250CiAgLS0tLS0tLQogICdBIExpc3QgOmJhY2sKICAnQSBEaWZmTGlzdCA6dmFsdWUhCmVuZAoKbm9kZSBkaWZmQXBwZW5kCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBEaWZmTGlzdCA6cmVzdAogIC0tLS0tLS0tCiAgJ0EgRGlmZkxpc3QgOnJlc3VsdAplbmQKCm5vZGUgZGlmZk9wZW4KICAnQSBEaWZmTGlzdCA6dGFyZ2V0IQogICdBIExpc3QgOmxpc3QKICAtLS0tLS0tLS0tCiAgJ0EgTGlzdCA6cmVzdWx0CmVuZAoKcnVsZSBkaWZmIGRpZmZBcHBlbmQKICAoZGlmZiktZnJvbnQgZGlmZiByZXN1bHQtKGRpZmZBcHBlbmQpCiAgKGRpZmZBcHBlbmQpLXJlc3QgZGlmZk9wZW4gYmFjay0oZGlmZikKZW5kCgpydWxlIGRpZmYgZGlmZk9wZW4KICAoZGlmZiktYmFjayBsaXN0LShkaWZmT3BlbikKICAoZGlmZiktZnJvbnQgcmVzdWx0LShkaWZmT3BlbikKZW5kCgppbXBvcnQgemVybyBmcm9tICJodHRwczovL2NvZGUtb2YtaW5ldC5maWRiLmFwcC90ZXN0cy9kYXRhdHlwZS9OYXQuaSIKaW1wb3J0IGNvbnMgZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrICR2YWx1ZQpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QgdmFsdWUKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrICR2YWx1ZQpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QgdmFsdWUKZGlmZkFwcGVuZAoKLy8gQnkgdXNpbmcgb25lIGxlc3MgbG9jYWwgdmFyaWFibGUgYCR2YWx1ZWAsCi8vIHdlIGNhbiBzaW1wbGlmeSB0aGUgYWJvdmUgY29kZToKCihkaWZmKSBAc3ByZWFkICRmcm9udCAkYmFjawpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrCmJhY2sgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdApkaWZmQXBwZW5kCgovLyBCeSB1c2luZyBvbmUgbGVzcyBsb2NhbCB2YXJpYWJsZSBgJGJhY2tgLAovLyB3ZSBjYW4gZnVydGhlciBzaW1wbGlmeSB0aGUgYWJvdmUgY29kZToKCihkaWZmKSBAc3ByZWFkICRmcm9udCB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0CihkaWZmKSBAc3ByZWFkICRmcm9udCB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0CmRpZmZBcHBlbmQKCkBydW4gJHJlc3VsdA)
 
 ```
-import List from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -995,8 +995,8 @@ rule diff diffOpen
   (diff)-front result-(diffOpen)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+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"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

diff --git a/docs/articles/反应网编程.md b/docs/articles/反应网编程.md
@@ -769,7 +769,7 @@ three two max
 import
   Nat, zero, add1, add,
   one, two, three,
-from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
+from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
 
 node natErase
   Nat :target!
@@ -883,7 +883,7 @@ rule cons append
   result-(append)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
+import zero from "https://code-of-inet-cute.fidb.app/tests/datatype/Nat.i"
 
 null zero cons zero cons
 null zero cons zero cons
@@ -924,7 +924,7 @@ append @run $result
 [去 `DiffList` 与 `(diffAppend)` 的演算场](https://inet.run/playground/aW1wb3J0IExpc3QgZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKdHlwZSBEaWZmTGlzdCBAVHlwZSAtLSBAVHlwZSBlbmQKCm5vZGUgZGlmZgogICdBIExpc3QgOmZyb250CiAgLS0tLS0tLQogICdBIExpc3QgOmJhY2sKICAnQSBEaWZmTGlzdCA6dmFsdWUhCmVuZAoKbm9kZSBkaWZmQXBwZW5kCiAgJ0EgRGlmZkxpc3QgOnRhcmdldCEKICAnQSBEaWZmTGlzdCA6cmVzdAogIC0tLS0tLS0tCiAgJ0EgRGlmZkxpc3QgOnJlc3VsdAplbmQKCm5vZGUgZGlmZk9wZW4KICAnQSBEaWZmTGlzdCA6dGFyZ2V0IQogICdBIExpc3QgOmxpc3QKICAtLS0tLS0tLS0tCiAgJ0EgTGlzdCA6cmVzdWx0CmVuZAoKcnVsZSBkaWZmIGRpZmZBcHBlbmQKICAoZGlmZiktZnJvbnQgZGlmZiByZXN1bHQtKGRpZmZBcHBlbmQpCiAgKGRpZmZBcHBlbmQpLXJlc3QgZGlmZk9wZW4gYmFjay0oZGlmZikKZW5kCgpydWxlIGRpZmYgZGlmZk9wZW4KICAoZGlmZiktYmFjayBsaXN0LShkaWZmT3BlbikKICAoZGlmZiktZnJvbnQgcmVzdWx0LShkaWZmT3BlbikKZW5kCgppbXBvcnQgemVybyBmcm9tICJodHRwczovL2NvZGUtb2YtaW5ldC5maWRiLmFwcC90ZXN0cy9kYXRhdHlwZS9OYXQuaSIKaW1wb3J0IGNvbnMgZnJvbSAiaHR0cHM6Ly9jb2RlLW9mLWluZXQuZmlkYi5hcHAvdGVzdHMvZGF0YXR5cGUvTGlzdC5pIgoKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrICR2YWx1ZQpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QgdmFsdWUKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrICR2YWx1ZQpiYWNrIHplcm8gY29ucyB6ZXJvIGNvbnMgZnJvbnQgQGNvbm5lY3QgdmFsdWUKZGlmZkFwcGVuZAoKLy8g5LiK6Z2i55qE5Luj56CB5Y-v5Lul5bCR55So5LiA5Liq5bGA6YOo5Y-Y6YePIGAkdmFsdWVgIO-8jOiAjOeugOWMluWmguS4i--8mgoKKGRpZmYpIEBzcHJlYWQgJGZyb250ICRiYWNrCmJhY2sgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdAooZGlmZikgQHNwcmVhZCAkZnJvbnQgJGJhY2sKYmFjayB6ZXJvIGNvbnMgemVybyBjb25zIGZyb250IEBjb25uZWN0CmRpZmZBcHBlbmQKCi8vIOWGjeWwkeeUqOS4gOS4quWxgOmDqOWPmOmHjyBgJGJhY2tg77yM6L-b5LiA5q2l566A5YyW77yaCgooZGlmZikgQHNwcmVhZCAkZnJvbnQgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdAooZGlmZikgQHNwcmVhZCAkZnJvbnQgemVybyBjb25zIHplcm8gY29ucyBmcm9udCBAY29ubmVjdApkaWZmQXBwZW5kCgpAcnVuICRyZXN1bHQ)
 
 ```
-import List from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+import List from "https://code-of-inet-cute.fidb.app/tests/datatype/List.i"
 
 type DiffList @Type -- @Type end
 
@@ -959,8 +959,8 @@ rule diff diffOpen
   (diff)-front result-(diffOpen)
 end
 
-import zero from "https://code-of-inet.fidb.app/tests/datatype/Nat.i"
-import cons from "https://code-of-inet.fidb.app/tests/datatype/List.i"
+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"
 
 (diff) @spread $front $back $value
 back zero cons zero cons front @connect value

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