| Lambda Calculus expression evaluator based on the Spreadsheet app. Use the spreadsheet as a dictionary of lambda expressions, each named with an ID. Perform evaluations by specifying 2 or 3 IDs to be applied to each other. This version uses De Brujin indices instead of normal notation. The next version will use De Brujin indices behind-the-scenes. Various expressions are included. Church Numerals are recognized automatically. This version is also limited to performing applications with 2 or 3 terms; a future version will support free-form entry of terms (using ID, not lambda expressions) for evaluation. |