On Tue, Jan 8, 2013 at 3:01 AM, Alain Ketterlin <al...@dpt-info.u-strasbg.fr> wrote: > > I just came across Vigil, an extension to python for serious software > engineers, at https://github.com/munificent/vigil and thought everybody > in this group would be interested (sorry if it has been announced > before).
It's the logical derivation of the principle that every program, once written, could be shortened by at least one instruction and contains at least one bug. From that, you can deduce that every program can be logically reduced to a single instruction that doesn't work. Vigil assists you with this logical reduction. ChrisA -- http://mail.python.org/mailman/listinfo/python-list