From c1c651280c92a6611a9d56120efd388f2305020b Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Tue, 19 Sep 2023 07:27:47 +0800 Subject: [PATCH] ambr code-of-inet code-of-inet-cute --- 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/RunCommand.ts | 2 +- 4 files changed, 15 insertions(+), 15 deletions(-) diff --git a/README.md b/README.md index 6876877a..0ebdb9a7 100644 --- 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 index c5547f82..7ae9cab3 100644 --- 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/\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 dbfc0eb1..69b01cd8 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" @@ -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 index 907e9d7c..59aa7cfb 100644 --- a/src/command-line/commands/RunCommand.ts +++ b/src/command-line/commands/RunCommand.ts @@ -30,7 +30,7 @@ export class RunCommand extends Command { ``, `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")