[Om] Graph1 Content Dict

[Professor James Davenport]

On Mon, June 8, 2009 8:04 am, Andrew Robbins wrote:
> I think I may have found a bug in the graph1 CD.
> In the commented property of "digraph", it has
>     map(lambda(...))
> which is not a complete application of "map", shouldn't it be
>     map(lambda(...), Z)
> or something like it, which would make more sense?
So it should - well spotted.
Paul - I don't have easy access to the SVN from here - can you put the
attached back?

James Davenport
Visiting Full Professor, University of Waterloo
Otherwise:
Hebron & Medlock Professor of Information Technology and
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication
-------------- next part --------------
A non-text attachment was scrubbed...
Name: graph1.ocd
Type: application/octet-stream
Size: 7086 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20090608/609bae25/attachment.obj