up

cicada-lang · Nov 1, 2024 · 7370e50 · 7370e50
1 parent d9a5eec
commit 7370e50
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 14 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # iNet JS
 
-[ [Website](https://inet.run)
+[ [Website](https://inet.xieyuheng.com)
 | [iNet Cute](https://github.com/cicada-lang/inet-cute) ]
 
 This is an implementation of [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
@@ -29,7 +29,7 @@ inet-js help [name]  # Display help for a command
 
 ### Nat
 
-[ [Goto The Playground](https://inet.run/playground/dHlwZSBOYXQKCm5vZGUgemVybygKICAtLS0tLS0KICB2YWx1ZSE6IE5hdAopCgpub2RlIGFkZDEoCiAgcHJldjogTmF0CiAgLS0tLS0tLS0tLQogIHZhbHVlITogTmF0CikKCm5vZGUgYWRkKAogIHRhcmdldCE6IE5hdCwKICBhZGRlbmQ6IE5hdAogIC0tLS0tLS0tCiAgcmVzdWx0OiBOYXQKKQoKcnVsZSBhZGQodGFyZ2V0ISwgYWRkZW5kLCByZXN1bHQpIHplcm8odmFsdWUhKSB7CiAgQGNvbm5lY3QoYWRkZW5kLCByZXN1bHQpCn0KCnJ1bGUgYWRkKHRhcmdldCEsIGFkZGVuZCwgcmVzdWx0KSBhZGQxKHByZXYsIHZhbHVlISkgewogIGFkZDEoYWRkKHByZXYsIGFkZGVuZCksIHJlc3VsdCkKfQoKZnVuY3Rpb24gb25lKCk6IE5hdCB7CiAgcmV0dXJuIGFkZDEoemVybygpKQp9CgpmdW5jdGlvbiB0d28oKTogTmF0IHsKICByZXR1cm4gYWRkKG9uZSgpLCBvbmUoKSkKfQoKZnVuY3Rpb24gdGhyZWUoKTogTmF0IHsKICByZXR1cm4gYWRkKHR3bygpLCBvbmUoKSkKfQoKZnVuY3Rpb24gZm91cigpOiBOYXQgewogIHJldHVybiBhZGQodHdvKCksIHR3bygpKQp9CgovLyBURVNUCgpldmFsIEBpbnNwZWN0KEBydW4oYWRkKHR3bygpLCB0d28oKSkpKQpldmFsIEBpbnNwZWN0KGFkZCh0d28oKSwgdHdvKCkpKQ) ]
+[ [Goto The Playground](https://inet.xieyuheng.com/playground/dHlwZSBOYXQKCm5vZGUgemVybygKICAtLS0tLS0KICB2YWx1ZSE6IE5hdAopCgpub2RlIGFkZDEoCiAgcHJldjogTmF0CiAgLS0tLS0tLS0tLQogIHZhbHVlITogTmF0CikKCm5vZGUgYWRkKAogIHRhcmdldCE6IE5hdCwKICBhZGRlbmQ6IE5hdAogIC0tLS0tLS0tCiAgcmVzdWx0OiBOYXQKKQoKcnVsZSBhZGQodGFyZ2V0ISwgYWRkZW5kLCByZXN1bHQpIHplcm8odmFsdWUhKSB7CiAgQGNvbm5lY3QoYWRkZW5kLCByZXN1bHQpCn0KCnJ1bGUgYWRkKHRhcmdldCEsIGFkZGVuZCwgcmVzdWx0KSBhZGQxKHByZXYsIHZhbHVlISkgewogIGFkZDEoYWRkKHByZXYsIGFkZGVuZCksIHJlc3VsdCkKfQoKZnVuY3Rpb24gb25lKCk6IE5hdCB7CiAgcmV0dXJuIGFkZDEoemVybygpKQp9CgpmdW5jdGlvbiB0d28oKTogTmF0IHsKICByZXR1cm4gYWRkKG9uZSgpLCBvbmUoKSkKfQoKZnVuY3Rpb24gdGhyZWUoKTogTmF0IHsKICByZXR1cm4gYWRkKHR3bygpLCBvbmUoKSkKfQoKZnVuY3Rpb24gZm91cigpOiBOYXQgewogIHJldHVybiBhZGQodHdvKCksIHR3bygpKQp9CgovLyBURVNUCgpldmFsIEBpbnNwZWN0KEBydW4oYWRkKHR3bygpLCB0d28oKSkpKQpldmFsIEBpbnNwZWN0KGFkZCh0d28oKSwgdHdvKCkpKQ) ]
 
 ```inet
 type Nat
@@ -84,7 +84,7 @@ eval @inspect(add(two(), two()))
 
 ### List
 
-[ [Goto The Playground](https://inet.run/playground/dHlwZSBMaXN0KEVsZW1lbnQ6IEBUeXBlKQoKbm9kZSBudWxsKAogIC0tLS0tLS0tCiAgdmFsdWUhOiBMaXN0KCdBKQopCgpub2RlIGNvbnMoCiAgaGVhZDogJ0EsCiAgdGFpbDogTGlzdCgnQSkKICAtLS0tLS0tLQogIHZhbHVlITogTGlzdCgnQSkKKQoKbm9kZSBhcHBlbmQoCiAgdGFyZ2V0ITogTGlzdCgnQSksCiAgcmVzdDogTGlzdCgnQSkKICAtLS0tLS0tLQogIHJlc3VsdDogTGlzdCgnQSkKKQoKcnVsZSBhcHBlbmQodGFyZ2V0ISwgcmVzdCwgcmVzdWx0KSBudWxsKHZhbHVlISkgewogIEBjb25uZWN0KHJlc3QsIHJlc3VsdCkKfQoKcnVsZSBhcHBlbmQodGFyZ2V0ISwgcmVzdCwgcmVzdWx0KSBjb25zKGhlYWQsIHRhaWwsIHZhbHVlISkgewogIGNvbnMoaGVhZCwgYXBwZW5kKHRhaWwsIHJlc3QpLCByZXN1bHQpCn0KCi8vIFRFU1QKCnR5cGUgVHJpdmlhbAoKbm9kZSBzb2xlKC0tIHZhbHVlITogVHJpdmlhbCkKCmZ1bmN0aW9uIHNpeFNvbGVzKCk6IExpc3QoVHJpdmlhbCkgewogIHJldHVybiBhcHBlbmQoCiAgICBjb25zKHNvbGUoKSwgY29ucyhzb2xlKCksIGNvbnMoc29sZSgpLCBudWxsKCkpKSksCiAgICBjb25zKHNvbGUoKSwgY29ucyhzb2xlKCksIGNvbnMoc29sZSgpLCBudWxsKCkpKSksCiAgKQp9CgpldmFsIEBpbnNwZWN0KEBydW4oc2l4U29sZXMoKSkpCmV2YWwgQGluc3BlY3Qoc2l4U29sZXMoKSk) ]
+[ [Goto The Playground](https://inet.xieyuheng.com/playground/dHlwZSBMaXN0KEVsZW1lbnQ6IEBUeXBlKQoKbm9kZSBudWxsKAogIC0tLS0tLS0tCiAgdmFsdWUhOiBMaXN0KCdBKQopCgpub2RlIGNvbnMoCiAgaGVhZDogJ0EsCiAgdGFpbDogTGlzdCgnQSkKICAtLS0tLS0tLQogIHZhbHVlITogTGlzdCgnQSkKKQoKbm9kZSBhcHBlbmQoCiAgdGFyZ2V0ITogTGlzdCgnQSksCiAgcmVzdDogTGlzdCgnQSkKICAtLS0tLS0tLQogIHJlc3VsdDogTGlzdCgnQSkKKQoKcnVsZSBhcHBlbmQodGFyZ2V0ISwgcmVzdCwgcmVzdWx0KSBudWxsKHZhbHVlISkgewogIEBjb25uZWN0KHJlc3QsIHJlc3VsdCkKfQoKcnVsZSBhcHBlbmQodGFyZ2V0ISwgcmVzdCwgcmVzdWx0KSBjb25zKGhlYWQsIHRhaWwsIHZhbHVlISkgewogIGNvbnMoaGVhZCwgYXBwZW5kKHRhaWwsIHJlc3QpLCByZXN1bHQpCn0KCi8vIFRFU1QKCnR5cGUgVHJpdmlhbAoKbm9kZSBzb2xlKC0tIHZhbHVlITogVHJpdmlhbCkKCmZ1bmN0aW9uIHNpeFNvbGVzKCk6IExpc3QoVHJpdmlhbCkgewogIHJldHVybiBhcHBlbmQoCiAgICBjb25zKHNvbGUoKSwgY29ucyhzb2xlKCksIGNvbnMoc29sZSgpLCBudWxsKCkpKSksCiAgICBjb25zKHNvbGUoKSwgY29ucyhzb2xlKCksIGNvbnMoc29sZSgpLCBudWxsKCkpKSksCiAgKQp9CgpldmFsIEBpbnNwZWN0KEBydW4oc2l4U29sZXMoKSkpCmV2YWwgQGluc3BlY3Qoc2l4U29sZXMoKSk) ]
 
 ```inet
 type List(Element: @Type)
@@ -135,7 +135,7 @@ eval @inspect(sixSoles())
 
 ### DiffList
 
-[ [Goto The Playground](https://inet.run/playground/aW1wb3J0IHsgTGlzdCB9IGZyb20gImh0dHBzOi8vY29kZS1vZi1pbmV0LWpzLmZpZGIuYXBwL3N0ZC9kYXRhdHlwZS9MaXN0LmkiCgovLyBDb25jYXRlbmF0aW9uIG9mIGxpc3RzIGlzIHBlcmZvcm1lZCBpbiBsaW5lYXIgdGltZQovLyB3aXRoIHJlc3BlY3QgdG8gaXRzIGZpcnN0IGFyZ3VtZW50LgovLyBDb25zdGFudCB0aW1lIGNvbmNhdGVuYXRpb24gaXMgcG9zc2libGUKLy8gd2l0aCBkaWZmZXJlbmNlLWxpc3RzOiB0aGUgaWRlYSBjb25zaXN0cyBpbgovLyBwbHVnZ2luZyB0aGUgZnJvbnQgb2YgdGhlIHNlY29uZCBhcmd1bWVudAovLyBhdCB0aGUgYmFjayBvZiB0aGUgZmlyc3Qgb25lLgoKdHlwZSBEaWZmTGlzdChFbGVtZW50OiBAVHlwZSkKCm5vZGUgZGlmZigKICBmcm9udDogTGlzdCgnQSksCiAgLS0tLS0tLQogIGJhY2s6IExpc3QoJ0EpLAogIHZhbHVlITogRGlmZkxpc3QoJ0EpLAopCgpub2RlIGRpZmZBcHBlbmQoCiAgdGFyZ2V0ITogRGlmZkxpc3QoJ0EpLAogIHJlc3Q6IERpZmZMaXN0KCdBKQogIC0tLS0tLS0tCiAgcmVzdWx0OiBEaWZmTGlzdCgnQSkKKQoKbm9kZSBkaWZmT3BlbigKICB0YXJnZXQhOiBEaWZmTGlzdCgnQSksCiAgbmV3QmFjazogTGlzdCgnQSkKICAtLS0tLS0tLS0tCiAgb2xkQmFjazogTGlzdCgnQSkKKQoKcnVsZSBkaWZmQXBwZW5kKHRhcmdldCEsIHJlc3QsIHJlc3VsdCkKICAgICBkaWZmKGZyb250LCBiYWNrLCB2YWx1ZSEpIHsKICBsZXQgbmV3QmFjaywgdmFsdWUgPSBkaWZmKGZyb250KQogIEBjb25uZWN0KHZhbHVlLCByZXN1bHQpCiAgZGlmZk9wZW4ocmVzdCwgbmV3QmFjaywgYmFjaykKfQoKcnVsZSBkaWZmT3Blbih0YXJnZXQhLCBuZXdCYWNrLCBvbGRCYWNrKQogICAgIGRpZmYoZnJvbnQsIGJhY2ssIHZhbHVlISkgewogIEBjb25uZWN0KGJhY2ssIG5ld0JhY2spCiAgQGNvbm5lY3QoZnJvbnQsIG9sZEJhY2spCn0KCi8vIFRFU1QKCmltcG9ydCB7IGNvbnMgfSBmcm9tICJodHRwczovL2NvZGUtb2YtaW5ldC1qcy5maWRiLmFwcC9zdGQvZGF0YXR5cGUvTGlzdC5pIgoKdHlwZSBUcml2aWFsCgpub2RlIHNvbGUoLS0gdmFsdWUhOiBUcml2aWFsKQoKZnVuY3Rpb24gdHdvVHdvU29sZXMoKTogRGlmZkxpc3QoVHJpdmlhbCkgewogIGxldCBmcm9udCwgYmFjaywgdmFsdWUxID0gZGlmZigpCiAgQGNvbm5lY3QoZnJvbnQsIGNvbnMoc29sZSgpLCBjb25zKHNvbGUoKSwgYmFjaykpKQogIGxldCBmcm9udCwgYmFjaywgdmFsdWUyID0gZGlmZigpCiAgQGNvbm5lY3QoZnJvbnQsIGNvbnMoc29sZSgpLCBjb25zKHNvbGUoKSwgYmFjaykpKQogIHJldHVybiBkaWZmQXBwZW5kKHZhbHVlMSwgdmFsdWUyKQp9CgpldmFsIEBpbnNwZWN0KEBydW4odHdvVHdvU29sZXMoKSkpCmV2YWwgQGluc3BlY3QodHdvVHdvU29sZXMoKSk) ]
+[ [Goto The Playground](https://inet.xieyuheng.com/playground/aW1wb3J0IHsgTGlzdCB9IGZyb20gImh0dHBzOi8vY29kZS1vZi1pbmV0LWpzLmZpZGIuYXBwL3N0ZC9kYXRhdHlwZS9MaXN0LmkiCgovLyBDb25jYXRlbmF0aW9uIG9mIGxpc3RzIGlzIHBlcmZvcm1lZCBpbiBsaW5lYXIgdGltZQovLyB3aXRoIHJlc3BlY3QgdG8gaXRzIGZpcnN0IGFyZ3VtZW50LgovLyBDb25zdGFudCB0aW1lIGNvbmNhdGVuYXRpb24gaXMgcG9zc2libGUKLy8gd2l0aCBkaWZmZXJlbmNlLWxpc3RzOiB0aGUgaWRlYSBjb25zaXN0cyBpbgovLyBwbHVnZ2luZyB0aGUgZnJvbnQgb2YgdGhlIHNlY29uZCBhcmd1bWVudAovLyBhdCB0aGUgYmFjayBvZiB0aGUgZmlyc3Qgb25lLgoKdHlwZSBEaWZmTGlzdChFbGVtZW50OiBAVHlwZSkKCm5vZGUgZGlmZigKICBmcm9udDogTGlzdCgnQSksCiAgLS0tLS0tLQogIGJhY2s6IExpc3QoJ0EpLAogIHZhbHVlITogRGlmZkxpc3QoJ0EpLAopCgpub2RlIGRpZmZBcHBlbmQoCiAgdGFyZ2V0ITogRGlmZkxpc3QoJ0EpLAogIHJlc3Q6IERpZmZMaXN0KCdBKQogIC0tLS0tLS0tCiAgcmVzdWx0OiBEaWZmTGlzdCgnQSkKKQoKbm9kZSBkaWZmT3BlbigKICB0YXJnZXQhOiBEaWZmTGlzdCgnQSksCiAgbmV3QmFjazogTGlzdCgnQSkKICAtLS0tLS0tLS0tCiAgb2xkQmFjazogTGlzdCgnQSkKKQoKcnVsZSBkaWZmQXBwZW5kKHRhcmdldCEsIHJlc3QsIHJlc3VsdCkKICAgICBkaWZmKGZyb250LCBiYWNrLCB2YWx1ZSEpIHsKICBsZXQgbmV3QmFjaywgdmFsdWUgPSBkaWZmKGZyb250KQogIEBjb25uZWN0KHZhbHVlLCByZXN1bHQpCiAgZGlmZk9wZW4ocmVzdCwgbmV3QmFjaywgYmFjaykKfQoKcnVsZSBkaWZmT3Blbih0YXJnZXQhLCBuZXdCYWNrLCBvbGRCYWNrKQogICAgIGRpZmYoZnJvbnQsIGJhY2ssIHZhbHVlISkgewogIEBjb25uZWN0KGJhY2ssIG5ld0JhY2spCiAgQGNvbm5lY3QoZnJvbnQsIG9sZEJhY2spCn0KCi8vIFRFU1QKCmltcG9ydCB7IGNvbnMgfSBmcm9tICJodHRwczovL2NvZGUtb2YtaW5ldC1qcy5maWRiLmFwcC9zdGQvZGF0YXR5cGUvTGlzdC5pIgoKdHlwZSBUcml2aWFsCgpub2RlIHNvbGUoLS0gdmFsdWUhOiBUcml2aWFsKQoKZnVuY3Rpb24gdHdvVHdvU29sZXMoKTogRGlmZkxpc3QoVHJpdmlhbCkgewogIGxldCBmcm9udCwgYmFjaywgdmFsdWUxID0gZGlmZigpCiAgQGNvbm5lY3QoZnJvbnQsIGNvbnMoc29sZSgpLCBjb25zKHNvbGUoKSwgYmFjaykpKQogIGxldCBmcm9udCwgYmFjaywgdmFsdWUyID0gZGlmZigpCiAgQGNvbm5lY3QoZnJvbnQsIGNvbnMoc29sZSgpLCBjb25zKHNvbGUoKSwgYmFjaykpKQogIHJldHVybiBkaWZmQXBwZW5kKHZhbHVlMSwgdmFsdWUyKQp9CgpldmFsIEBpbnNwZWN0KEBydW4odHdvVHdvU29sZXMoKSkpCmV2YWwgQGluc3BlY3QodHdvVHdvU29sZXMoKSk) ]
 
 ```inet
 import { List } from "https://code-of-inet-js.fidb.app/std/datatype/List.i"