| 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. |
|
![[logo]](/logo.png){kind=logo}