what's the submission process? do we just send the code to you? thanks, yc
On Tue, Feb 24, 2009 at 1:05 PM, Sam TH <samth at ccs.neu.edu> wrote: > Typed Scheme is a language for writing PLT Scheme programs that are > statically checked for type errors. Right now, Typed Scheme handles a > large portion of the PLT Scheme language. However, to use Typed > Scheme effectively, we need libraries that work with it. For this > task, we're looking for help. > > We'd like volunteers for writing wrapper modules that adapt untyped > libraries to Typed Scheme. This task is very easy for the smallest > libraries, but can be much more complicated for larger, complex > libraries. > > There's a preliminary guide for conversion at: > > http://www.ccs.neu.edu/home/samth/adapt/ > > which also has a list of modules to adapt, and their current status: > > http://www.ccs.neu.edu/home/samth/adapt/Current_Status.html > > Further discussion should be on plt-dev at list.cs.brown.edu , and > questions or comments can be sent directly to me. > > We hope to continue making Typed Scheme into a useful tool for PLT > Scheme programmers. > > Thanks, > Sam, Stevie, and Matthias > samth at ccs.neu.edu > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-scheme > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.racket-lang.org/archive/dev/attachments/20090224/85590fe2/attachment.html>
