Stream: CUDW 2020

Topic: WG: Backward Compatibility


view this post on Zulip 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: Oct 16 2021 at 07:02 UTC