...

video: https://tromp.github.io/cl/diagrams.html At 4:28, a number of visualizations for the Lambda Calculus were shown. These include: (Top Left) David C Keenan's Graphical Notation for the Lambda Calculus: https://dkeenan.com/Lambda/ (Top Center) A notation I found on Robin Piedeleu's site, but which is likely much older: https://piedeleu.com/posts/diagrammatic-lambda-calculus/ (Top Right) de Brujin indices: https://en.wikipedia.org/wiki/De_Bruijn_index (Bottom Left) Vex (Wayne Citrin, Richard Hall, Benjamin Zorn): https://www.researchgate.net/publication/2726047_Programming_with_Visual_Expressions (Bottom Right) Visual Lambda Calculus (Viktor Massalõgin): https://bntr.planet.ee/lambda/work/visual_lambda.pdf / https://github.com/bntre/visual-lambda Lecture Notes on the Lambda Calculus (book): https://www.amazon.com/Lecture-Notes-Lambda-Calculus-Selinger/dp/0359158854 6884's Music: https://6884.bandcamp.com/ This video was rendered using SwapTube! https://github.com/2swap/swaptube Oh, also, this is my first time using auto-dubbed tracks. I am VERY IRRITATED to have to use this... I happen to speak a few languages on the list and I would have preferred to dub it myself. As far as I can tell, I as a creator am not even given the opportunity to do so. If anyone else knows of a way, please comment :) Also, let me know if the AI dub in your language is particularly poor.