Stream: Coq devs & plugin devs

Topic: template poly redesign


view this post on Zulip Gaëtan Gilbert (May 21 2024 at 12:44):

Some notes I wrote about the goal of the currently in progress redesign of template poly
https://github.com/coq/ceps/pull/90


Last updated: Oct 13 2024 at 01:02 UTC