Re: [Haskell-cafe] Hints for Euler Problem 11

I agree. Computation on the type level does not imply computation on the value level. On 8/18/07, Tim Chevalier wrote:

On 8/17/07, Kim-Ee Yeoh wrote:

...

Incidentally, GHC's type checker is Turing complete. You already have as much static evaluation as is practically possible. You already knew that.

I don't see how the first statement implies the second.

Cheers, Tim

-- Tim Chevalier * catamorphism.org * Often in error, never in doubt "It's never too early to start drilling holes in your car." -- Tom Magliozzi _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe