Stream: CUDW 2020

Topic: WG: rewrite rules

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: Jun 11 2023 at 00:30 UTC