[bitc-dev] BitC development has stopped ?
atmacen at gmail.com
Wed Mar 21 09:38:46 PDT 2012
Huh, I was actually wondering about that myself, although I was gonna
just wait and see.
I look forward to reading the post-mortem.
Skimming through the archives, it looked like a lot of time was spent
thinking over relatively high-level language issues, as if making a
language where verified systems programming is easier was not
I'm particularly interested in finding out what caused this shift of focus.
Although, come to think of it, this could've already been explained in
a post I skipped.
On Wed, Mar 21, 2012 at 1:22 AM, Jonathan S. Shapiro <shap at eros-os.org> wrote:
> Long since. But add yourself to the list because someday soon I'm going to
> send out a post-mortem note explaining why, and that might be interesting.
> On Tue, Mar 20, 2012 at 10:20 PM, arnuld uttre <arnuld.mizong at gmail.com>
>> I see there are no archives for Feb and March. BitC deveopment has stopped
More information about the bitc-dev