Hi, why is it necessary to include the [folder] type in the type of higher order record functions when it is always inferred?
Isn't it enough to see them as something happening behind the scene? - Gergely _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
