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: Apr 20 2024 at 05:01 UTC