Open nathanmemmott opened 2 months ago
Discussed offline. Right now this change isn't really editorial, since it introduces a new "file system" definition, among other changes. I suggest splitting the PR into (at least) two: 1) An editorial reorganization (i.e. no new dfns; just refactoring) 2) Substantiative changes, such as introducing the new "file system" definition, etc
Gives each concept in the concepts section its own section.
Preview | Diff