Learn about and experiment with the lambda calculus, and print the information using this portable Java-based application that runs low on memory resources. #Lambda calculus #Lambda expression #Reduction sequence #Calculate #Calculator #Lambda
Lambda Calculator is a small software application developed specifically for helping you perform lambda calculus operations in a clutter-free interface.
It can be deployed on all Windows versions out there, provided that you have the Java working environment deployed on the target PC.
You can take advantage of the program’s portability status and run it without administrative privileges. It takes a double-click on the executable file in order to gain access to the tool’s GUI. You may keep it stored on pen drives or other portable devices to have it with you all the time.
The utility does write entries to your Windows registry and leave other configuration files behind. You can uninstall it with a simple deletion task of the executable file that you have downloaded from the Internet.
Lambda Calculator reveals a simple design that incorporates only a few configuration parameters. A help manual is included in the package in case you need to find out more details about the setup options. The application can also be controlled via the command-line console in case you have are familiar with inputting parameters in the CMD environment.
The application offers you the possibility to type in lambda expressions directly in the main window or paste the information from the clipboard. Based upon the input expression, the utility reveals the sequence of reductions that it performs upon simplifying your expression.
What’s more, you can define symbols to represent lambda expression and build lambda expressions based on four rules, namely single identifiers (any string of non-space characters is treated as identifier), functions (you can apply a function to an argument), abstract lambda expressions, and parentheses.
Lambda Calculator lets you work with several engines, namely maximum reduction and evaluation order, make use of applied calculus, as well as enable eta reductions.
Last but not least, you can set the maximum length of characters displayed in lambda expressions, print lambda characters, adjust the font size displayed in the main window, and show a browser with all currently defined symbols.
Tests have shown that Lambda Calculator carries out a task quickly and without errors. It does not eat up a lot of CPU and memory resources so the overall performance of the PC is not hampered.
To sum things up, Lambda Calculator comes packed with several handy tools for helping you learn about and experiment with the lambda calculus.
What's new in Lambda Calculator 1.01:
- Feature: Via the Maximum Length option, the program allows the user to bound the maximum number of characters displayed in each expression printed. This makes the computation process go more quickly and the text area work more efficiently.
- Feature: The program displays lambda characters in place of backslashes. The Print Lambda Character option gives the ability to disable the feature.
- Interface tweak: When the input field is displaying the value of a symbol, and then the user changes the value in the field, the program deselects the symbol in the browser.
- Bug fix: An error in equality-testing of identifiers led some Java installations to fail to recognize matching symbols in expressions.
Lambda Calculator 1.01
add to watchlist add to download basket send us an update REPORT- runs on:
- Windows All
- file size:
- 79 KB
- filename:
- lambda.jar
- main category:
- Others
- developer:
- visit homepage
7-Zip
4k Video Downloader
Microsoft Teams
ShareX
Bitdefender Antivirus Free
Windows Sandbox Launcher
Context Menu Manager
calibre
IrfanView
Zoom Client
- calibre
- IrfanView
- Zoom Client
- 7-Zip
- 4k Video Downloader
- Microsoft Teams
- ShareX
- Bitdefender Antivirus Free
- Windows Sandbox Launcher
- Context Menu Manager