Archived tweet #9713 from the @leastfixedpoint Twitter Archive

@PLT_cheater It's a graphical notation I invented for lambda calculus; specifically, it shows ((lambda (x) (f (x x))) (lambda (x) (f (x x)))) - part of a leastfixedpoint