[TYPES] Y-combinator in Type:Type?

Edsko de Vries devriese at cs.tcd.ie
Fri May 16 17:20:22 EDT 2008


Thanks for all the responses! Most helpful, as always :)

Edsko


More information about the Types-list mailing list