That is quite fascinating including the fact that much of it seems to have been ...

		galaxyLogic on Aug 18, 2020 \| parent \| context \| favorite \| on: A circuit-like notation for lambda calculus (2015) That is quite fascinating including the fact that much of it seems to have been invented in the 1600s. Why didn't they teach me this stuff in school? Does diagrammatic Linear Algebra show us that in fact Lambda Calculus and Linear Algebra are really very related?