[racket] TR define-new-type, Value Types

From: Ray Racine (ray.racine at gmail.com)
Date: Sat Dec 29 00:07:36 EST 2012

Ah, well ... arbitrary predicates ... certainly a desirable incremental
improvement to the current feature set for refinement types.

Bummer.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121229/2c27e743/attachment.html>

Posted on the users mailing list.