LCalculus |
| Description: | 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. |
| Filename: | lcalculus.zip |
| ID: | 7516 |
| Current version: | 0.2 |
| Author: | Brian L. O'Dell: https://web.archive.org/web/20120903100742/http://brianodell.net/ |
| Downloaded file size: | 84,372 bytes |
| Size on calculator: | 14 KB |
| Platforms: | Prime |
| User rating: | Not yet rated (you must be logged in to vote) |
| Primary category: | Math |
| Languages: | ENG |
| File date: | 2014-10-18 19:35:45 |
| Source code: | Not included |
| Download count: | 742 |
| Version history: | 2014-10-18: Added to site
|
| Archive contents: | Length Date Time Name
-------- ---- ---- ----
2654 07-26-14 16:22 LCalculus.hpapp
2 07-26-14 16:22 LCalculus.hpappnote
14782 07-26-14 16:22 LCalculus.hpappprgm
28095 07-26-14 16:28 LCalculus1.PNG
18651 07-26-14 16:29 LCalculus2.PNG
34145 07-26-14 16:30 LCalculus3.PNG
1893 07-26-14 16:31 README.txt
-------- -------
100222 7 files |
|
| User comments: | No comments at this time. |
| You must be logged in to add your own comment. |