On Fri, Jan 29, 2010 at 3:11 PM, Eli Barzilay <e...@barzilay.org> wrote: > On Jan 29, Robby Findler wrote: >> And finally, one question: for the "what do I do to get started" ie >> the "not really a language" language? It should probably change >> somehow or maybe just go away. Opinions? (This is the language that >> you get if you delete your prefs and start up drscheem; there isn't >> another simple way to get there). > > I vote for retiring it...
Why? Have our students suddenly achieved mastery over #lang? That was the problem, right? I don't see how our new language dialog solves that. --Carl _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
