[Om3] Summary of the Davenport&Kohlhase Proposal

David Carlisle davidc at nag.co.uk
Tue Mar 24 10:11:12 CET 2009



> 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. 
________________________________________________________________________


More information about the Om3 mailing list