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

Add StumpFu encoding

Open Kacarott opened this issue 3 years ago • 0 comments

Add support for StumpFu encoded numerals.

Reference: https://homepage.divms.uiowa.edu/~astump/talks/colloq-10-24-2014.pdf Page 41

Kacarott avatar Jan 23 '22 18:01 Kacarott