Re: [plt-dev] `rico' and ".rkt"

[Chongkai Zhu]

Whatever file attach we will use, I just want to remove the ".scrbl" 
extension and make all scribble file have the same extension as other 
files. The idea is to use the first #lang line to decide what "module" 
language it is, right?

Chongkai
_________________________________________________
 For list-related administrative tasks:
 http://list.cs.brown.edu/mailman/listinfo/plt-dev