Skip to content

Commit

Permalink
up
Browse files Browse the repository at this point in the history
  • Loading branch information
@xieyuheng
xieyuheng committed Aug 18, 2023
1 parent f951784 commit fbc7b87
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
@@ -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).

Expand All @@ -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
Expand Down

0 comments on commit fbc7b87

Please sign in to comment.