Post

aron

@adler.dev

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

aron@adler.dev

made a playground for interaction nets and i think it's pretty cool so far netties-936.netlify.app

12/10/26, 8:31 pm0 reposts3 likes

Maynard

@quelklef.bsky.social

i didn't even know inets could be typed :O

Maynard

@quelklef.bsky.social

so does the primary point on the inet sort of correspond to the redex of a λ reduction ..?

aron

@adler.dev

yeah more or less! if you have two principal ports connected by a wire, that's where a rewrite will happen

Maynard

@quelklef.bsky.social

ok this makes sense, i have always felt vaguely confused about why (a) there's only one primary port; and (b) there's no native notion of "inputs" or "outputs"

and we have a rich selection of pre-configured interaction net examples