lambda-calculus icon indicating copy to clipboard operation
lambda-calculus copied to clipboard
verified publisher icon codewars

Add Parigot encoding

Open Kacarott opened this issue 3 years ago • 0 comments

Add support for Parigot encoded numerals.

Useful reference: https://fermat.github.io/document/talks/lam.pdf

Kacarott avatar Jan 23 '22 18:01 Kacarott