Re: [racket-dev] type-case + typed racket yet?

[Shriram Krishnamurthi]

My understanding is that Eli has all these things for his PL course,
right?  So it's just a matter of making them more widely accessible?
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev