I got a partial understanding of inets from previous exploration but i feel like I'm failing to fully grok the intended denotation/semantics for any inet
yeah but arguably isn't that unavoidable? same way that if you got a randomly generated lambda calculus string its semantic meaning would also be inscrutable
i am going to assume no so that i may continue talking. it's been a few years since I saw news about the project, but my recollection is that bend and HVM are (respectively) high- and low-level languages targeting inets as their model of computation
afaik it's the passion project of one victor taelin, who felt that inets are both more beautiful and potentially more practical as compared to lambda calculus