lambda-calculus
lambda-calculus copied to clipboard
Add Parigot encoding
Add support for Parigot encoded numerals.
Useful reference: https://fermat.github.io/document/talks/lam.pdf