Re: srfi-tools egg

[Arthur A. Gleckler]

On Tue, Apr 25, 2023, 9:34 AM Lassi Kortela <lassi@lassi.io> wrote:

Good point. Perhaps there should be an `srfi init` subcommand that

git-clones srfi-common under $SRFI_HOME?

Good idea. And commands that depend on that can report an error unless it has been done in advance.