On Thu, Aug 26, 2021 at 9:46 AM Lassi Kortela <xxxxxx@github.com> wrote:

SRFI 97 didn't coin names for withdrawn SRFIs. Can we coin names for them now?

I'd rather not give library names to withdrawn SRFIs.  SRFI numbers should be enough in those cases, and names are valuable.

Ref: arcfide/chez-srfi#71

You can view, comment on, or merge this pull request online at:

  https://github.com/scheme-requests-for-implementation/srfi-common/pull/20

Commit Summary

  • Coin library-name for withdrawn SRFI 15

File Changes

Patch Links:

—