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

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Wed May 25 15:37:09 EDT 2011

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?


Posted on the dev mailing list.