Ron de Bruijn wrote:
Is it possible to concatenate two values of kind [Name] to form one [Name]?
No, not in the current version of Ur, and I have no plans to add such a feature. It would add significant complexity to type inference.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
