Note for any SRFI with an R7RS implementation you can output the exports:

$ chibi-scheme -mchibi.modules -p"(module-exports (find-module '(srfi 1)))"

There are also some type inference tools to help bootstrap signatures.

Alex

On Mon, Mar 26, 2018 at 6:23 PM, Ciprian Dorin Craciun <xxxxxx@gmail.com> wrote:

Hello all!

I was wondering if there is somewhere a list of all the symbols
(constants, functions, syntaxes, etc.) defined by the various SRFI
proposals?

Thanks,
Ciprian.