Hi, Is it possible to concatenate two values of kind [Name] to form one [Name]?
-- Best regards, Ron de Bruijn _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
- [Ur] Name concatenation Ron de Bruijn
- Re: [Ur] Name concatenation Adam Chlipala
