diff options
author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2004-05-14 09:33:15 +0800 |
---|---|---|
committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2004-05-14 09:33:15 +0800 |
commit | 08ee6ea9df84fc82170e3601e423dfe95799aa13 (patch) | |
tree | 5dc00f28b9fbd6db79ff75d819418ac0bcf0becb /math/lambda/pkg-descr | |
parent | 165b37a218dc6424813cd4c0dd54e0e080327746 (diff) | |
download | freebsd-ports-08ee6ea9df84fc82170e3601e423dfe95799aa13.tar.gz freebsd-ports-08ee6ea9df84fc82170e3601e423dfe95799aa13.tar.zst freebsd-ports-08ee6ea9df84fc82170e3601e423dfe95799aa13.zip |
add lambda 0.1.4
A lambda calculus interpreter
Notes
Notes:
svn path=/head/; revision=109095
Diffstat (limited to 'math/lambda/pkg-descr')
-rw-r--r-- | math/lambda/pkg-descr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/math/lambda/pkg-descr b/math/lambda/pkg-descr new file mode 100644 index 000000000000..a3eecc6d2c66 --- /dev/null +++ b/math/lambda/pkg-descr @@ -0,0 +1,16 @@ +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. + +WWW: http://66.47.116.75/~demo/lambda/ |