Monoid as type system and programming with [interaction nets](https://en.wikipedia.org/wiki/Interaction_nets).
Animation of Yves Lafont's Interaction Combinators
No description provided.