On Feb 18, 2007, at 22:22 , P. R. Stanley wrote:
is there another general pattern for mylen, head or tail?
Those are basically it, aside from optionally replacing the unused variables with _.
What are the pre-requisites for Lambda calculus?
Lambda calculus isn't related to what's normally called "calculus"; while some basic math and logic are useful, you don't really need much of a formal or complex math background to unravel it. See for example the early parts of http://en.wikipedia.org/wiki/ Lambda_calculus for an introduction. (The later parts quickly become hard to digest until you've understood the earlier ones; the Wikipedia article is more a reference than an introduction.)
-- brandon s. allbery [linux,solaris,freebsd,perl] [EMAIL PROTECTED] system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED] electrical and computer engineering, carnegie mellon university KF8NH _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
