oops, the title of this thread should be NUM_OF_INT conversion, and then no
conversion is needed: it's just a rewrite... still, it should be a rewrite
that's in the int compset surely?
On Tue, Apr 15, 2014 at 7:30 AM, Ramana Kumar <[email protected]>wrote:
> 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
