Rework template to have "Solution Requirements" and make axioms optional

rust-lang / rust-project-goals

Rust Project Goals tracker

https://rust-lang.github.io/rust-project-goals/

MIT License

46 stars 44 forks source link

Rework template to have "Solution Requirements" and make axioms optional #36

Open joshtriplett opened 4 months ago

joshtriplett commented 4 months ago

This should make the template easier to fill in. We should have a paragraph explaining that while we don't have to have consensus on the solution, this section defines requirements/constraints on the solution that we do need consensus on in order to proceed.