On 4/11/12 12:02 AM, Jonathan M Davis wrote:
On Tuesday, April 10, 2012 23:56:05 Andrei Alexandrescu wrote:
Nevertheless please attack this any way you can. We better find bugs now
rather than later.
I'm definitely going to have to think this one through quite a bit before I can
really give any meaningful feedback, I suspect. It seems like the sort of
thing where everything seems great until one minor detail gets pointed out
which ruins the whole thing.
Yup, that's why the big boys use formal proofs.
Andrei
_______________________________________________
dmd-beta mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-beta
