Show HN: iNet – a new programming language for interaction nets

Re:Show HN: iNet – a new programming language for interactio... by xyheme on Thursday September 07, 2023 @01:23PM (#37422369)

Thanks for your reply.

I think you are right about the rules, just expressing them in a different way, not by local interaction between neighboring nodes, but by first-order logic!

When we add 2 (S(S(0))) and 3 (S(S(S(0)))).

I think we start with:

```

Add

| -- S -- S -- Z

| -- S -- S -- S -- Z

```

and then we would reduce it to:

```

S -- S -- S -- S -- S -- Z

```

At the top right corner of the homepage, there is a link to "Docs" -- https://readonly.link/articles/https://cdn.inet.cic.run/docs...

Maybe this article can help.

[ Parent | on HN ]

Re:Show HN: iNet – a new programming language for interactio... by archibaldJ on Friday September 08, 2023 @03:36AM (#37430655)

aw thanks for the link! what’s very nice to read !

[ Parent | on HN ]

Re:Show HN: iNet – a new programming language for interactio... by archibaldJ on Friday September 08, 2023 @03:56AM (#37430801)

btw for me the readonly link took a while (like 4 sec) to load, probably due to parsing & cuz I’m on vpn.

would be cool to have a server-rendered page

[ Parent | on HN ]