PortSystem 1.0 name lambda version 0.1.4 categories math platforms darwin license GPL-2 maintainers nomaintainer description A lambda calculus interpreter long_description Lambda is a lambda calculus interpreter. It also will \ convert lambda expression into the combinators S, K, and I. homepage http://66.47.116.75/~demo/lambda/ master_sites http://66.47.116.75/~demo/lambda/ freebsd checksums md5 7987fed0e62a3b639eb09abb5a136d4c configure.args --datadir=${prefix}/share/${name}