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.