[racket] non-terminating type check for typed racket

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Sun Apr 17 15:51:15 EDT 2011

Previous message: [racket] non-terminating type check for typed racket
Next message: [racket] non-terminating type check for typed racket
Messages sorted by: [date] [thread] [subject] [author]

Awesome.  Typed Racket is finally a modern type system.  (You know
they're all supposed to not terminate these days, right?)

Shriram

Posted on the users mailing list.

Previous message: [racket] non-terminating type check for typed racket
Next message: [racket] non-terminating type check for typed racket
Messages sorted by: [date] [thread] [subject] [author]