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 challenging enough. 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 <[email protected]> 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 <[email protected]> > wrote: >> >> I see there are no archives for Feb and March. BitC deveopment has stopped >> ? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
