Stream: Coq devs & plugin devs

Topic: canonical structures variants


view this post on Zulip Jason Gross (Nov 22 2022 at 02:08):

Is there a variant of canonical structures that can solve problems like TemplateMonad ?B = proj ?E x with ?B := x and ?E := <canonical structure with proj := TemplateMonad?


Last updated: May 28 2023 at 13:30 UTC