Ezra Cooper <[email protected]> wrote: > > I believe this to be a general trait of things described as > "calculi"--that they have some form of name-binders, but I have never > seen that observation written down.
Combinator calculi are a counter-example. Tony. -- f.anthony.n.finch <[email protected]> http://dotat.at/ Biscay, FitzRoy: Mainly westerly or southwesterly 4 or 5, occasionally 6 in Fitzroy, becoming variable 3 at times in south. Slight or moderate, becoming rough or very rough in northwest Fitzroy. Rain or showers, thundery at times. Good, occasionally poor. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
