Brian L. O'Dell

ID:2308
First Name:Brian L.
Last Name:O'Dell
Web Address:http://brianodell.net
Last Change:2014-10-18
Number of Files:1 (1,204th most prolific)
Number of Downloads:621 (2,383rd most downloaded)

LCalculus 0.2   (details) Prime ENG   83 KB / 14 KB
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.
By Brian L. O'Dell. 2014-10-18

Part of the HP Calculator Archive,
Copyright 1997-2023 Eric Rechlin.