Post B64Vj2XyItOhLadgXo by neauoire@merveilles.town
 (DIR) More posts by neauoire@merveilles.town
 (DIR) Post #B61moyYr9QQATBaavo by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre It's probably not the most efficient way, but since Uxn has linear discipline baked-in, it feels pretty nice to write the nets by hand directly to verify that my doodles compute properly.I should write a parser for Inpla, .. at some point. When I'll get too annoyed.
       
 (DIR) Post #B64Vj2JRAvlscVq4tE by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire what i find disturbing with inpla is that you need additional stuff like comparison operators, conditionals, etc. (i don't like what i have circled in red for example. maybe i'm wrong, or maybe i don't understand something...). it's not "pure interaction combinators", but at the same time if you want to compute numbers without using only succ and zero maybe you need that ?
       
 (DIR) Post #B64Vj2XyItOhLadgXo by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @maxime_andre yeah so Inpla lets you define rules, which I don't need. Symmetric interaction combinators have basically 4 rules and that's it. There are no special Succ() or 0 nodes, everything is done entirely with the 3 nodes.I don't need that bit from inpla, just the wiring syntax, which Ive started adding on here: https://wiki.xxiivv.com/site/interaction_nets.html
       
 (DIR) Post #B64Vj2jfbOkrvs71mK by maxime_andre@mastodon.xyz
       0 likes, 0 repeats
       
       @neauoire btw i've found this talk : https://www.youtube.com/watch?v=F880mnxu9c0i watched it while having lunch it's very nice !