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: 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:621
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.


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