[om] Manipulating Structured Data

David Carlisle davidc at nag.co.uk
Tue Nov 19 11:11:23 CET 2002

I wrote

              <OMS cd="fns1" name="lambda"/>
               <OMV name="x"/>
                <OMS cd="relation1" name="gt"/>

actually in this case you don't need the binder you can just use

<OMS cd="relation1" name="gt"/>

as filtering with
lambda x . f(x) 
is the same as filtering with

Sorry I just edited the more complicated example from the CD which does
use lambda binding to construct a more complicated predicate.


This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list