Post

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

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

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

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

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"

i only got it after looking at your 'if' node :3 the 'if' puts the condition in the primary port because that's what it has to evaluate!