| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Mon, 22 Dec 2025 08:07:20 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20091127202520
location: https://web.archive.org/web/20091127202520/https://lambda.darwinports.com/
server-timing: captures_list;dur=1.420005, exclusion.robots;dur=0.041318, exclusion.robots.policy;dur=0.030078, esindex;dur=0.010404, cdx.remote;dur=5.529174, LoadShardBlock;dur=89.153823, PetaboxLoader3.resolve;dur=8.854922, PetaboxLoader3.datanode;dur=67.781307
x-app-server: wwwb-app223-dc8
x-ts: 302
x-tr: 135
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: wb-p-SERVER=wwwb-app223; 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 08:07:20 GMT
content-type: text/html
x-archive-orig-date: Fri, 27 Nov 2009 20:13:18 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: Fri, 27 Nov 2009 20:25:20 GMT
link: Lambda version 0.1.4 - How to Download and Install on Mac OS X
 |
|
 |
 |
 |
|||||
 |
Friday the 27th of November, 2009 |
 |
 |
 |
|||||
|
lambda most recent diffversion 0.1.4
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 The lambda 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,
|
 |
 
Order Snow Leopard MacOSX 10.6 for only $29!
Other Helpful SitesMacOSForgeDebian Packages MacPorts - SVN Freshports - FreeBSD Fink Package List RPM for MacOSX Port Categories
accounting
amusements aqua archivers audio benchmarks biology blinkenlights cad chat chinese comms compression cross crypto databases devel editors education electronics emacs emulators erlang finance fonts framework fuse games genealogy gis gnome gnustep graphics gtk haskell iphone irc japanese java kde kde4 lang macports math mercurial ml mono multimedia net network news ocaml office palm parallel perl php pim project python reporting rox ruby russian scheme science security shells spelling squeak sysutils tcl tex textproc tk unicode vnc win32 wsn www x11 x11-font x11-wm xfce zope
Current SVN DownloadsDarwin Ports Current :nightly SVN snapshot SSH Key Gen See also: GNU-Darwin Ports for GNU-only software |
|
|||||
 |
|
 |
 |
 |
