[Om3] Summary of the Davenport&Kohlhase Proposal

[David Carlisle]

> The justification is that with the extension we do not have to force 
> math practicioners into using lambdas all the time

huh? the scary thing is using formal binding operations, If they are
more scared if the head symbol is called "lambda" than "prodcond" then
that is just weird.


David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________