> On Nov 22, 2022, at 5:48 PM, Mario Carneiro <[email protected]> wrote:
>
> I don't think the book needs to stay rigidly in sync at all. It's only had
> two editions in how many years? In any case, while it is undoubtedly more
> work to have to manage parallel PRs, it is definitely more scalable than
> assuming that everything lives in the same repo. If set.mm is to be a
> monorepo it should probably be renamed to reflect that.
I don't mean the "Metamath book" - that's already in a separate repo, and I
think that's sensible. I don't propose changing that.
I'm thinking about a *different* book that is essentially a gentle
introduction/walkthrough of set.mm as it currently exists, and is updated
simultaneously as set.mm is updated. Think of it as set.mm documentation for
those new to formal mathematics.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/1ECB3EDD-4C56-44E0-B6E2-23771ED8D63B%40dwheeler.com.
