fb16dfecae
Commit b7f05445c0 has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
14 lines
546 B
Text
14 lines
546 B
Text
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.
|