Stream: CUDW 2020

Topic: WG: rewrite rules


view this post on Zulip Gaëtan Gilbert (Dec 03 2020 at 08:46):

There will be a session at 10:00 today
(cf https://github.com/coq/ceps/pull/50)


Last updated: Feb 27 2024 at 23:01 UTC