HTTP/2 302 server: nginx date: Wed, 14 Jan 2026 17:24:11 GMT content-type: text/plain; charset=utf-8 content-length: 0 x-archive-redirect-reason: found capture at 20060903114635 location: https://web.archive.org/web/20060903114635/https://lambda.darwinports.com/ server-timing: captures_list;dur=1.022465, exclusion.robots;dur=0.082743, exclusion.robots.policy;dur=0.066417, esindex;dur=0.015456, cdx.remote;dur=140.572929, LoadShardBlock;dur=585.322402, PetaboxLoader3.datanode;dur=151.203202, PetaboxLoader3.resolve;dur=132.188428 x-app-server: wwwb-app28-dc8 x-ts: 302 x-tr: 773 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 set-cookie: wb-p-SERVER=wwwb-app28; path=/ x-location: All x-as: 14061 x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() HTTP/2 200 server: nginx date: Wed, 14 Jan 2026 17:24:14 GMT content-type: text/html; charset=ISO-8859-1 x-archive-orig-date: Sun, 03 Sep 2006 11:59:43 GMT x-archive-orig-server: Apache x-archive-orig-connection: close x-archive-guessed-content-type: text/html x-archive-guessed-charset: iso-8859-1 memento-datetime: Sun, 03 Sep 2006 11:46:35 GMT link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate" content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org x-archive-src: 29_0_20060903113539_crawl22-c/29_0_20060903114618_crawl31.arc.gz server-timing: captures_list;dur=1.526091, exclusion.robots;dur=0.046399, exclusion.robots.policy;dur=0.030588, esindex;dur=0.014362, cdx.remote;dur=46.486938, LoadShardBlock;dur=2195.964923, PetaboxLoader3.datanode;dur=383.537287, PetaboxLoader3.resolve;dur=187.369469, load_resource;dur=542.098458 x-app-server: wwwb-app28-dc8 x-ts: 200 x-tr: 2942 server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0 x-location: All x-as: 14061 x-rl: 0 x-na: 0 x-page-cache: MISS server-timing: MISS x-nid: DigitalOcean referrer-policy: no-referrer-when-downgrade permissions-policy: interest-cohort=() content-encoding: gzip

Darwin Ports    File    Edit   View   Bookmarks   lambda 0.1.4     Bugzilla   CVS    Help    Documentation

	lambda version 0.1.4 for Mac OS X 10.4 Tiger
	Sunday the 3rd of September, 2006
	lambda Scroll down toward the bottom of the page to get installation instructions for lambda. The raw portfile for lambda 0.1.4 is located here: https://lambda.darwinports.com/dports/math/lambda/Portfile Find related portfiles with the new DarwinPorts.com search feature. Web Darwinports.com # $Id: Portfile,v 1.1 2005/11/05 14:57:42 mww Exp $ PortSystem 1.0 Name: lambda Version: 0.1.4 Category: math Platform: darwin Maintainers: mww opendarwin.org 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: https://66.47.116.75/~demo/lambda/ master_sites https://66.47.116.75/~demo/lambda/ freebsd checksums md5 7987fed0e62a3b639eb09abb5a136d4c configure.args --datadir=${prefix}/share/${name} If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page. Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return: % sudo port install lambda Password: You will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to: ---> Fetching lambda ---> Verifying checksum for lambda ---> Extracting lambda ---> Configuring lambda ---> Building lambda with target all ---> Staging lambda into destroot ---> Installing lambda - Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using lambda with these commands: % man lambda % apropos lambda % which lambda % locate lambda  Where to find more information: Find related ports with the Darwin Ports.com search feature. There is a searchable DarwinPorts Mailing List Archives Be sure to also visit: darwinports.opendarwin.org. The DarwinPorts Guide is full of helpful information. Official archives of the Darwin Ports mailing list may also be helpful. And of course, Google is your friend This website uses many .png's so it looks best in Firefox or Safari. This site generously sponsored by Archei LLC and secured by Cryptofile and PowerLinux		Download the Darwinports 1.2 Installer Donate now to keep DarwinPorts.com online! Other Helpful Sites Darwinports Wiki Darwin Source Debian Packages Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories aqua archivers audio benchmarks cad comms cross databases devel editors emulators games genealogy gnome graphics irc java kde lang mail math multimedia net news palm perl print python ruby science security shells sysutils textproc www x11 zope Current CVS Downloads Darwin Ports Current : nightly CVS snapshot OpenDarwin CVSWeb