On Fri, Aug 6, 2010 at 7:04 AM, Jeremy Bem <jere...@gmail.com> wrote: > > My plans now call for adding features to replace the ones I've removed, > namely experimental ones related to assisted theorem proving and inductive > programming. >
Dear Jeremy, What have you got on inductive programming? Best, -- Eray
_______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs