Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/ https://piedeleu.com/posts/diagrammatic-lambda-calculus/ I'd love to se

Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/ https://piedeleu.com/posts/diagrammatic-lambda-calculus/ I'd love to see them smoothly animated.