On Sat, Feb 21, 2009 at 2:52 PM, Shiro Kawai <[email protected]> wrote: > (BTW, now we can switch them by #!case-fold and #!no-case-fold, > why are we discussing about this?)
Both are optional, though. _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
