18 Aug
2007
18 Aug
'07
1:01 a.m.
On 8/17/07, Kim-Ee Yeoh <a.biurvOir4@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