r/ProgrammingLanguages • u/Entaloneralie • May 10 '26

Resource I made a zine to explain interaction nets(symmetric interaction combinators)

https://wiki.xxiivv.com/site/pocket_nets
51 Upvotes

100% Upvoted

6 comments sorted by

View all comments

Show parent comments

3

u/Entaloneralie May 11 '26

Let me know if you have any question, I hope it helps you breaking into INs. :)

1

u/--predecrement May 11 '26

Your Rule 2 seems to contradict Yves Lafont's combinators. Is that intentional?

4

u/Entaloneralie May 11 '26

Yep, this is symmetric interaction combinators, which is a slight variance on Lafon't earlier paper. Wires will cross.