Typed Scheme 2.0 now in SVN Sam T.H.’s Typed Scheme 2.0 is now in SVN and will be available in the first release post 4.2.0. You might also like some of these
