I'm about to write a conversion to reduce terms of the form Num(&n) where n
is a ground non-negative integer. But I would expect such a thing to
already exist somewhere - does anyone know where?

I notice that EVAL does not reduce Num(&1) - is there something I can load
that will make it do so?
------------------------------------------------------------------------------
Learn Graph Databases - Download FREE O'Reilly Book
"Graph Databases" is the definitive new guide to graph databases and their
applications. Written by three acclaimed leaders in the field,
this first edition is now available. Download your free book today!
http://p.sf.net/sfu/NeoTech
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to