Very informative. So in practice Ciprian and others who develop the type
signatures would maintain Git clones of the SRFI repos and send pull
requests to the origin repos in batch every now and then?
We would have to find some notation that combines these quite opposing
traditions. We could also write them separately, but any duplication is
a chance for discrepancy.
I'm guessing that Ciprian's format can contain all the information needed to produce a version in either tradition. If so, then we could generate both, and people could choose which they prefer. Only the maintainer of the file would have to know the more detailed format.