| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Mon, 22 Dec 2025 17:57:45 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20071120033306
location: https://web.archive.org/web/20071120033306/https://lambda.darwinports.com/
server-timing: captures_list;dur=0.454610, exclusion.robots;dur=0.032840, exclusion.robots.policy;dur=0.024338, esindex;dur=0.008774, cdx.remote;dur=31.878198, LoadShardBlock;dur=247.535621, PetaboxLoader3.datanode;dur=87.941925, PetaboxLoader3.resolve;dur=55.076880
x-app-server: wwwb-app221-dc8
x-ts: 302
x-tr: 305
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: wb-p-SERVER=wwwb-app221; 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: Mon, 22 Dec 2025 17:57:46 GMT
content-type: text/html; charset=ISO-8859-1
x-archive-orig-date: Tue, 20 Nov 2007 03:33:32 GMT
x-archive-orig-server: Apache
x-archive-orig-vary: Accept-Encoding
x-archive-orig-connection: close
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: iso-8859-1
memento-datetime: Tue, 20 Nov 2007 03:33:06 GMT
link: lambda version 0.1.4 for Mac OS X 10.5 Leopard
 |
|
 |
 |
 |
|||||
 |
Monday the 19th of November, 2007 |
 |
 |
 |
|||||
|
lambda most recent diff
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 unique DarwinPorts.com search feature. Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/lambda # $Id: Portfile 30237 2007-10-23 01:46:57Z jmpp  macports.org $PortSystem 1.0 Name: lambda Version: 0.1.4 Category: math Platform: darwin 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: 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:
% cd /opt/local/bin/portslocation/dports/lambdaYou 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: - 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 Where to find more information:
This website is back-ended by DB5, the best database in the business,
|
 |
 Digg lambda on MacOSX 
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
aqua
archivers audio benchmarks cad comms cross databases devel editors emulators games genealogy gnome gnustep graphics irc java kde lang math multimedia net news palm perl python ruby science security shells sysutils textproc www x11 xfce zope
Current CVS DownloadsDarwin Ports Current :nightly CVS snapshot OpenDarwin CVSWeb SSH Key Gen |
|
|||||
 |
|
 |
 |
 |
