Has anybody tried Soft Scheme on Gambit? http://www.seas.upenn.edu/~sweirich/types/archive/1993/msg00169.html (P.s. I'd like to suggest that the mailing list move to a, well, better system than Mailman e.g. one that makes searching easy. :-)