Awesome. Typed Racket is finally a modern type system. (You know they're all supposed to not terminate these days, right?)
Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
