Re: Is there an index of symbols defined by the various SRFI's? Ciprian Dorin Craciun 26 Mar 2018 19:59 UTC

On Mon, Mar 26, 2018 at 10:44 PM, Shiro Kawai <xxxxxx@gmail.com> wrote:
>> Would you mind if I try to "screen-scrape" (perhaps from the raw wiki
>> format) the data you have accumulated?  (See the following email about
>> how I would like to use it.)
>
> I can make the dump of the database available; it'll be less cumbersome.

Please do so.  (Else I'll have to DOS the wiki with `curl`.)  :)

Ciprian.