[racket] How to read procedure documentation?

From: Shannon Severance (srs at s53.me)
Date: Fri Apr 19 19:06:25 EDT 2013

On 4/19/13 2:27 PM, "Matthias Felleisen" <matthias at ccs.neu.edu> wrote:
>   -- our contract system has a really hard time expressions g : ∀ t : t -> t.

I'd like to double check my understanding. Is the SML type fn : 'a -> 'a
the same as what you meant by g : ∀ t : t -> t?

-- Shannon


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130419/6cd36044/attachment-0001.html>

Posted on the users mailing list.