up

cicada-lang · Jan 11, 2025 · 0539cf1 · 0539cf1
1 parent b2c9a4a
commit 0539cf1
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -1,9 +1,5 @@
 # inet-cute
 
-[ [website](https://inet.xieyuheng.com)
-| [inet-forth](https://github.com/cicada-lang/inet-forth)
-| [inet-js](https://github.com/cicada-lang/inet-js) ]
-
 An implementation of [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
 
 - Simply typed.
@@ -210,6 +206,13 @@ npm run build:watch  # Watch the compilation
 npm run test         # Run test
 ```
 
+## Implementations
+
+- [inet-cute](https://github.com/cicada-lang/inet-cute)
+- [inet-js](https://github.com/cicada-lang/inet-js)
+- [inet-forth](https://github.com/cicada-lang/inet-forth)
+- [inet-lisp](https://github.com/cicada-lang/inet-lisp)
+
 ## References
 
 **Papers**: