escaping string, very terse . Update: a bit more terse, and perf improvement by using .ToCharArray() and Array.iter
Posted: 13 years ago by hammett