13:48 | <yulia> | Hey folks, i am brushing up the invariants proposal repo to prep for presentation of a system near the end of the year |
13:49 | <yulia> | I'd like to get more feedback on invariants that you consider important. They do not have to be "established" (as in, agreed with the whole committee). Instead, they should be existing aspects of the language that you consider important to maintain |
13:49 | <yulia> | this is fact finding, not "absolute" -- repo is here: https://github.com/codehag/documenting-invariants |
13:49 | <yulia> | ideally, you can make a PR, but an issue is fine and I'll reach out later to ask questions |
13:50 | <yulia> | there is a template at the bottom of the known_invariants.md file |
13:52 | <Hemanth H.M> | > lighter weight process like what we do for normative specification adjustments +1 |