On Tuesday 27 February 2007 02:13, Andrzej Jaworski wrote: > > writing a real compiler for that language made sense, and also the > > choice of c as language for it, but I think that it would have been > > possible to write it in haskell without a big performance hit. > > ADP was conceived in Haskell and the research is done by very brainy > people, so I suggest to buy this stuff:-) [...]
A classic invalid technique of proof: http://www.maths.uwa.edu.au/~berwin/humour/invalid.proofs.html#1.10Proofbyeminentauthority ;-) Cheers, S. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell