[Haskell-cafe] Hints for Euler Problem 11

Tim Chevalier catamorphism at gmail.com
Fri Aug 17 21:01:48 EDT 2007

On 8/17/07, Kim-Ee Yeoh <a.biurvOir4 at asuhan.com> 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.


Tim Chevalier * catamorphism.org * Often in error, never in doubt
"It's never too early to start drilling holes in your car."  -- Tom Magliozzi

More information about the Haskell-Cafe mailing list