The project has a number of directories where Walnut stores various definitions. These definitions are integral to the use of Walnut, but not the development.
I propose that we separate these directories into their own repository, the standard library. When packaging a release, the standard library could then be included.
Pros
- It is easier for people with different background to contribute. You can focus on additions to the standard library for example.
- The standard library can have a different life-cycle from the source code.
- The code will be de-cluttered.
Cons
- It could be harder to know where to contribute.
- Managing various repositories can be challenging.
The project has a number of directories where Walnut stores various definitions. These definitions are integral to the use of Walnut, but not the development.
I propose that we separate these directories into their own repository, the standard library. When packaging a release, the standard library could then be included.
Pros
Cons