lambda-calculus
lambda-calculus copied to clipboard
codewars
Lambda Calculus compiler for Codewars
JohanWiltink: "currently all variables can not only be shadowed but also overwritten. this might mean introducing full scoping, and might not be worth it. or is it just a matter...
When number encoding is `None`, allow numbers to be used as valid identifiers
Depends on list and number encodings, very high level, probably do without.
Add support for Parigot encoded numerals. Useful reference: https://fermat.github.io/document/talks/lam.pdf
Add support for StumpFu encoded numerals. Reference: https://homepage.divms.uiowa.edu/~astump/talks/colloq-10-24-2014.pdf Page 41