Hi, 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:
$ grep list.*char * $ - Gergely _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
