Stream: CUDW 2020

Topic: WG: Backward Compatibility

Arthur Charguéraud (Dec 01 2020 at 14:34):

I summarized and expanded the proposal regarding the treatment of backward compatibility in https://github.com/coq/coq/issues/13532
Please let me know how if you're interested to discuss this proposal wednesday or thursday.

Last updated: Jun 11 2023 at 00:30 UTC