diff --git a/README.md b/README.md index eadc38e..96addbf 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,6 @@ # inet-js -[ [website](https://inet.xieyuheng.com) -| [inet-forth](https://github.com/cicada-lang/inet-forth) -| [inet-cute](https://github.com/cicada-lang/inet-cute) ] +[ [website](https://inet.xieyuheng.com) ] This is an implementation of [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets). It introduces you to the bizarre world of graph-based computation and linear logic, @@ -212,6 +210,13 @@ npm run build # Compile `src/` to `lib/` 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**: