Am 06/08/2012 04:33, schrieb Christian Sternagel:
Dear all,
I was wondering about the reasons for implementing list comprehension as is:
Why is an optimized translation desirable at all? Isn't that just a matter of
installing appropriate simplification rules afterwards.
Why is it
On 08/06/2012 03:43 PM, Tobias Nipkow wrote:
Am 06/08/2012 04:33, schrieb Christian Sternagel:
Why is an optimized translation desirable at all? Isn't that just a matter of
installing appropriate simplification rules afterwards.
Why is it desirable to require simplification in such trivial
