Here's another from a long time ago: https://dkeenan.com/Lambda/

And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996),

and Bubble Notation comes from Wayne Citrin's Visual Expressions (1995)

	▲	discarded1023 35 minutes ago \| parent [-]
		Thanks for the link! Some very pretty stuff there. Missing AFAICT are categorical string diagrams. I'm only sort-of familiar with the notation for Haskell Arrows [1,2] but a quick google for "lambda calculus string diagrams" turns up some recent work by Dan Ghica and others that may be of interest. [1] https://en.wikipedia.org/wiki/String_diagram [2] Ross Paterson "A New Notation for Arrows" (2001)