From: Neil Van Dyke (neil at neilvandyke.org) Date: Sun Mar 23 08:41:09 EDT 2008 |
|
Excellent. Once again, the "academic" tools outperform the "industrial" ones. :) Matthew Flatt wrote at 03/23/2008 08:35 AM: > No, I can't think of any reason that large strings would be a problem. >
Posted on the users mailing list. |
|