Sounds like a job for... https://en.m.wikipedia.org/wiki/Knights_of_the_Lambda_Calculus https://en.m.wikipedia.org/wiki/Knights_of_the_Lambda_Calcul... (Also:

Sounds like a job for... https://en.m.wikipedia.org/wiki/Knights_of_the_Lambda_Calculus https://en.m.wikipedia.org/wiki/Knights_of_the_Lambda_Calcul... (Also: completely agree - this stuff is going to be a fabulous resource for future researchers and meanwhile the rest of us reap the benefit by indulging our nostalgia - I'm full of admiration)