[Ur] Name concatenation

Ron de Bruijn rmbruijn at gmail.com
Thu Oct 27 03:30:31 EDT 2011

Previous message: [Ur] common type for different functor instantiations
Next message: [Ur] Name concatenation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

Is it possible to concatenate two values of kind [Name] to form one [Name]?

-- 
Best regards,
   Ron de Bruijn

Previous message: [Ur] common type for different functor instantiations
Next message: [Ur] Name concatenation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list