Re: repeating groups
From: Marshall Spight <marshall.spight_at_gmail.com>
Date: 21 Feb 2006 09:19:32 -0800
Message-ID: <1140542372.668262.246220_at_f14g2000cwb.googlegroups.com>
Date: 21 Feb 2006 09:19:32 -0800
Message-ID: <1140542372.668262.246220_at_f14g2000cwb.googlegroups.com>
x wrote:
> "Marshall Spight" <marshall.spight_at_gmail.com> wrote in message
> news:1140510364.302633.157300_at_g43g2000cwa.googlegroups.com...
> > dawn wrote:
>
> > > I always thought of programming as writing proofs.
> >
> > I wish it was *more* like writing proofs.
>
> I wish it was more like stating the problem, not the proof.
Uh, yeah. That's what I meant to say.
It should be more like stating theorems, and having the compiler
prove them or disprove them.
Marshall