7 Jun
2005
7 Jun
'05
11:13 a.m.
Ben Lippmeier <Ben.Lippmeier@anu.edu.au> writes:
To gloss over details: it'll reduce x far enough so it knows that it's an Integer, but it won't nessesarally compute that integers value.
No, Integers don't contain any lazy components. It statically knows that it's an integer. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/