[racket] How to read procedure documentation?
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>