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 sufficient.) Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
