From fbc7b87bb19575ccd70e24427f7aa610352de2de Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Fri, 18 Aug 2023 23:40:30 +0800 Subject: [PATCH] up --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 17dd3909..d22034d1 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # iNet -[ [WEBSITE](https://inet.cicada-lang.org) ] +[ [Website](https://inet.cicada-lang.org) ] Programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets). @@ -13,7 +13,7 @@ We have an [online playground](https://inet.cicada-lang.org/playground) **Nat**: -[ [OPEN PLAYGROUND]() ] +[ [Open in playground](https://inet.cicada-lang.org/playground/dHlwZSBOYXQgLS0gVHlwZSBlbmQKbm9kZSB6ZXJvIC0tIE5hdCA6dmFsdWUhIGVuZApub2RlIGFkZDEgTmF0IDpwcmV2IC0tIE5hdCA6dmFsdWUhIGVuZAoKbm9kZSBhZGQgTmF0IDp0YXJnZXQhIE5hdCA6YWRkZW5kIC0tIE5hdCA6cmV0dXJuIGVuZAoKcnVsZSB6ZXJvIGFkZAogIChhZGQpLWFkZGVuZAogIHJldHVybi0oYWRkKQplbmQKCnJ1bGUgYWRkMSBhZGQKICAoYWRkKS1hZGRlbmQKICAoYWRkMSktcHJldiBhZGQKICBhZGQxIHJldHVybi0oYWRkKQplbmQKCmNsYWltIG9uZSAtLSBOYXQgZW5kCmRlZmluZSBvbmUgemVybyBhZGQxIGVuZAoKY2xhaW0gdHdvIC0tIE5hdCBlbmQKZGVmaW5lIHR3byBvbmUgb25lIGFkZCBlbmQKCnR3byB0d28gYWRkIGluc3BlY3QKcnVuIGluc3BlY3Q) ] ```inet type Nat -- Type end