[racket] How to read procedure documentation?

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Fri Apr 19 19:26:14 EDT 2013

On Apr 19, 2013, at 7:06 PM, Shannon Severance wrote:

> 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?



Yes. 

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

Posted on the users mailing list.