FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
lambda Lambda calculus interpreter
0.1.4 math on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 14 May 2004 01:33:53
License: GPLv2
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://uniquesoftwaredesigns.com/lambda/docs/lambda.html
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. /usr/local/bin/perl5.18.4 : lang/perl5.18

This port is required by:

for Build for Run * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

To install the port: cd /usr/ports/math/lambda/ && make install clean
To add the package: pkg install math/lambda


Configuration Options
===> The following configuration options are available for lambda-0.1.4:
     DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://www.freebsdbrasil.com.br/~jmelo/

Number of commits found: 11

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Dec 2014 19:15:32
Original commit files touched by this commit  0.1.4
Revision:375097
bapt search for other commits by this committer
cleanup plist
29 Nov 2014 12:22:21
Original commit files touched by this commit  0.1.4
Revision:373615
antoine search for other commits by this committer
Allow building without /usr/bin/perl symlink

PR:		ports/195494
29 Jul 2014 22:44:11
Original commit files touched by this commit  0.1.4
Revision:363405
adamw search for other commits by this committer
Add USES=readline to fix build on current.
15 Feb 2014 14:31:57
Original commit files touched by this commit  0.1.4
Revision:344392
danilo search for other commits by this committer
- Add stage support
- Remove the indefinite article from COMMENT
- Add DOCS option
- Add LICENSE
20 Sep 2013 20:55:06
Original commit files touched by this commit  0.1.4
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
03 Aug 2013 13:44:01
Refresh Original commit files touched by this commit
Revision:324191  Sanity Test Failure
mat search for other commits by this committer
- Convert to new perl framework
- Remove MAKE_JOBS_SAFE=yes, it's the default.
20 Mar 2011 12:54:45
Original commit files touched by this commit  0.1.4
miwi search for other commits by this committer
- Get Rid MD5 support
14 Feb 2006 15:21:21
Original commit files touched by this commit  0.1.4
garga search for other commits by this committer
- Make it fetchable again
- Fix WWW

PR:             ports/93335
Submitted by:   Jean Milanez Melo <jmelo@freebsdbrasil.com.br>
25 Nov 2005 15:48:16
Original commit files touched by this commit  0.1.4
pav search for other commits by this committer
- Add SHA256
17 May 2004 01:49:02
Original commit files touched by this commit  0.1.4
ijliao search for other commits by this committer
add perl5 build depend

Noticed by:     bento via kris
14 May 2004 01:33:15
Original commit files touched by this commit  0.1.4
ijliao search for other commits by this committer
add lambda 0.1.4
A lambda calculus interpreter

Number of commits found: 11

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
muttDec 23
muttDec 23
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11

10 vulnerabilities affecting 28 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24433
Broken 149
Deprecated 74
Ignore 400
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 20
Expired 0
Set to expire 69
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days17
new fortnight42
new month100

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.