On Tue, May 17, 2011 at 6:06 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > I think we would want to implement it as a `#lang' mix-in > > #lang testable racket
That sounds _great_. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users