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

Please give me your LTO-4 or better tape library and I'll put it to good use.
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. 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

USES:
perl5 readline shebangfix

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
cinepaint*Jul 01
darktable*Jul 01
dcraw*Jul 01
dcraw-m*Jul 01
exact-image*Jul 01
flphoto*Jul 01
freeimage*Jul 01
kodi*Jul 01
libraw*Jul 01
libxml2Jul 01
lightzone*Jul 01
netpbm*Jul 01
opengtl*Jul 01
rawstudio*Jul 01
ufraw*Jul 01

27 vulnerabilities affecting 60 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 24949
Broken 210
Deprecated 45
Ignore 507
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 32
Expired 2
Set to expire 33
Interactive 0
new 24 hours 7
new 48 hours14
new 7 days67
new fortnight91
new month174

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