[Ur] implode/explode

Adam Chlipala adamc at impredicative.com
Tue Dec 20 08:22:41 EST 2011


Gergely Buday wrote:
> is there a built-in function that converts strings to char lists and
> vice versa? I have not found that with the usual name, and have not
> found a signature that contains character list:
>    

No, I don't think so.



More information about the Ur mailing list