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 0.1.4 math on this many watch lists=1 search for ports that depend on this port
Lambda calculus interpreter

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 : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. lang/perl5.16

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: 9

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 9

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
bashOct 01
bashOct 01
bash-staticOct 01
bash-staticOct 01
jenkinsOct 01
jenkins-ltsOct 01
phpmyadminOct 01
rsyslog7Sep 30
fishSep 29
bash*Sep 25
bash-static*Sep 25
chromiumSep 25
krfbSep 25
linux-c6-nssSep 25
linux-firefoxSep 25

12 vulnerabilities affecting 35 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 24168
Broken 104
Deprecated 27
Ignore 359
Forbidden 3
Restricted 205
No CDROM 93
Vulnerable 20
Expired 2
Set to expire 22
Interactive 0
new 24 hours 3
new 48 hours9
new 7 days56
new fortnight146
new month290

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