BSD Portsmath/lambda 0.1.4_2 DragonFly
Lambda calculus interpreter
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- GPLv2
- Categories
- math
- Package size
- 46.7 KiB, 149.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 |
|---|---|---|
| DragonFly | math/lambda | 0.1.4_2 |
| GhostBSD | math/lambda | 0.1.4_3 |
Install
Binary package:
pkg install lambdaFrom DPorts:
cd /usr/dports/math/lambda && make install cleanDependencies
Run dependencies 2
No port depends on this one.