Post

due to overwhelming popular demand, netties is now fully mobile friendly ✨

aron@adler.dev

just released a big improvement to further help build your intuitions for interaction nets 💡 now when you're about to execute a step, we show a preview of how the graph is about to change – exactly the way it looks in the rule builder 🪄 👇 example for a net that computes the length of a list

aron

@adler.dev

give it a go on netties.adler.dev feedback welcome 🙇

netties.adler.devnettiesA playground for interaction nets and Lafont's interaction combinators.

27/10/26, 5:20 pm0 reposts0 likes

aron

@adler.dev

source available on github btw github.com/Arrow7000/ne...

github.comGitHub - Arrow7000/netties: An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators. - Arrow7000/netties

Obi Ryder

@obiryder.bsky.social

20h

The preview before each graph rewrite is a useful teaching idea. What was hardest to adapt for mobile: building the nets or stepping through them? Is there a small starter example you recommend to someone new to interaction nets?