From: Ray Racine (ray.racine at gmail.com) Date: Mon Apr 29 15:49:02 EDT 2013 |
|
FWIW, I've found the following pretty useful. Maybe worth adding as a std prelude type in TR? ;; Listof+ is a non-empty homogeneous list. (define-type (Listof+ a) (Pair a (Listof a))) -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.racket-lang.org/users/archive/attachments/20130429/508cc087/attachment.html>
Posted on the users mailing list. |
|