On Jul 19, 2:51 pm, Paul Rubin <http://phr...@nospam.invalid> wrote: > Calroc <forman.si...@gmail.com> writes: > > I'm engaged presently in starting a school to teach programming from > > the ground up, based roughly on the curriculum outlined in the article > > I mentioned. ... > > I'm excited about formal methods because one, I just heard about them, > > Formal methods are a big and complicated subject. Right after you > heard about them is probably not the best time to start teaching them. > Better get to understand them yourself first.
Very good point. But I'm glad it's there to study, these are wheels I don't have to invent for myself. ~Simon -- http://mail.python.org/mailman/listinfo/python-list