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. -- http://mail.python.org/mailman/listinfo/python-list