[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

w/case and w/nocase

This page is part of the web mail archives of SRFI 115 from before July 7th, 2015. The new archives for SRFI 115 contain all messages, not just those from before July 7th, 2015.



For consistency with R7RS #!fold-case and #!no-fold-case, I suggest changing these to be w/no-fold-case and w/fold-case.

Michael.