casa-mp-base

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}

​