27 Feb
2007
27 Feb
'07
11:42 a.m.
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.10Proofbyem... ;-) Cheers, S.