We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Code for a research project on extensional equalities for combinatory logic (CL), and their equivalence to those of lambda calculus.
There was an error while loading. Please reload this page.