Closed blyxyas closed 2 months ago
Due to the early merge, the final status of the goal wasn't the ideal one (for example, we decided to add incremental lints as a subgoal in the list). This and #46 should complete the project goal formalization.
Rendered
Due to the early merge, the final status of the goal wasn't the ideal one (for example, we decided to add incremental lints as a subgoal in the list). This and #46 should complete the project goal formalization.
Rendered