This reminds me of the tree diagrams I wrote during the Term Rewriting Systems course at the Vrije Universiteit [1]. Functional programming really started to r

This reminds me of the tree diagrams I wrote during the Term Rewriting Systems course at the Vrije Universiteit [1]. Functional programming really started to resonate with me at that time. Properties like confluence were very useful to understand distributed systems algorithms later on, and e.g. how eventual consistency plays out. [1] The teacher was awesome too. If you'd like to learn more about term rewriting systems, go take a peek at his slides http://joerg.endrullis.de/teaching/#trs http://joerg.endrullis.de/teaching/#trs (Note, just noticed that they are behind a password. A gentle email will probably get you the slides though :)