[racket-dev] OT: stump misunderstands Scheme?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Tue Nov 16 17:30:13 EST 2010

If you knew his background, you would not expect him to at all be a
native speaker of ().

(Further OT amusement: He, Stephanie, and Tim Sheard had a paper at
last week's FOSER workshop entitled "Language-Based Verification Will
Change the World".  Apparently, dependent types are both necessary and


Posted on the dev mailing list.