SRFI 37 was long before the table on GitHub.
In the GitHub table authoritative?
We're trying to make it so, but I'm not sure how to make it officially authoritative.
Since David hasn't replied, I'm reluctant to make the changes to the SRFI, especially since we have the relief valve of the Github table. Note that the Github table is referenced from a post-finalization note in
SRFI 97.
Following SRFI 97, the library name of SRFI 145 in there should be `assume' and not `assumptions'. (I just noticed this.)
Would someone like to send me a pull request? I can do it, but I'd prefer to have your name on it — or Lassi's.