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