BSD Portsmath/lambda 0.1.4_3 GhostBSD
Lambda calculus interpreter
- System
- GhostBSD
- Repository
- GhostBSD
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv2
- Categories
- math
- Package size
- 37.9 KiB, 120.3 KiB installed
Description
Lambda is a lambda calculus interpreter. It also will convert lambda expression into the combinators S, K, and I.
Current features: * Load predefined lambda expression * Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd ADD MUL EXP list suc pred . . . * Automatic number definitions. * Interpret lambda expressions. * Single step interpretation. * Normal or application order reductions. * Variable extraction (Conversion to S K I) * List definitions. * Some lambda calculus theory.
In the other systems
| System | Port | Version |
|---|---|---|
| GhostBSD | math/lambda | 0.1.4_3 |
| DragonFly | math/lambda | 0.1.4_2 |
Install
Binary package:
pkg install lambdaDependencies
Run dependencies 1
No port depends on this one.
Configuration
No options to configure.
- Service scripts
- none
Message after installing
===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Upstream unmaintained since 2004. It is scheduled to be removed on or after 2026-09-30.