Seven times Eight in Lambda Calculus

Uploader: Paul Brauner

Original upload date: Wed, 10 Jan 2018 00:00:00 GMT

Archive date: Thu, 02 Dec 2021 07:42:35 GMT

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at https://github.com/polux/lambda-diagrams.