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: Apr 20 2024 at 06:02 UTC