Re: [racket-dev] Dracula development

2012-09-26 Thread Carl Eastlund
On Mon, Sep 24, 2012 at 7:26 PM, Carl Eastlund wrote: > Short, short version: I will be working on a new Dracula implementation; > see https://github.com/carl-eastlund/dracula (currently just a bare > Racket fork). > > > > Anyway, the repository is up on Github, linked above. Right now it's

Re: [racket-dev] Dracula development

2012-09-24 Thread Robby Findler
Thanks for the update, Carl. As one datapoint, I'm quite sure that your experience with planet has help us understand how to build a better one. Jay knows more, but from my point of view your experience and dog-food eating were a huge help. Thanks. Robby On Mon, Sep 24, 2012 at 6:26 PM, Carl Eas

[racket-dev] Dracula development

2012-09-24 Thread Carl Eastlund
Short, short version: I will be working on a new Dracula implementation; see https://github.com/carl-eastlund/dracula (currently just a bare Racket fork). Short version: While the "new Dracula" is still spiritually "ACL2 via Racket", the new one will be very different from the old. It will