Browse thread
interest in a much simpler, but modern, Caml?
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Eray Ozkural <examachine@g...> |
| Subject: | Re: [Caml-list] interest in a much simpler, but modern, Caml? |
On Fri, Aug 6, 2010 at 7:04 AM, Jeremy Bem <jeremy1@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