[Haskell-cafe] Hints for Euler Problem 11

[Lennart Augustsson]

I agree.  Computation on the type level does not imply computation on the
value level.

On 8/18/07, Tim Chevalier <catamorphism at gmail.com> wrote:
>
> 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.
>
> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070818/f1f14e4c/attachment.htm