Skip to content

feat(language): a term names the sum it adds to with adds_to:, and no file marks a sum as open - #763

Open
FBumann wants to merge 17 commits into
mainfrom
feat/adds-to
Open

feat(language): a term names the sum it adds to with adds_to:, and no file marks a sum as open#763
FBumann wants to merge 17 commits into
mainfrom
feat/adds-to

docs: the composition how-to shows a sum that one file defines and ot…

320da5e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar