versioning over well-typed edits is a 2-category.

Originally thought of in the context of Unison's concept of well-typed edits. The central idea is that there are 2 parallel structures orthogonally active in a well-typed editing system – the typing, and the edits! Call something a "release" if it is a commit that successfully builds. I want to know what strucutres can be induced in the system of releases from the system of commits and the system of compilation (I guess, in practice specifically the portions of it to do with static analysis) taken together.

Seems like something to ask bollu about.