Re: [racket-dev] Typed Racket interaction

[Shriram Krishnamurthi]

Yes, sorry, I pasted the same thing twice.  Matthias caught it.
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev