On 4/19/13 2:27 PM, "Matthias Felleisen" <matth...@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
____________________ Racket Users list: http://lists.racket-lang.org/users