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: Oct 16 2021 at 09:07 UTC