Stream: Coq devs & plugin devs

Topic: pattern_of_constr

Jason Gross (Jan 20 2022 at 20:57):

What does . do to evars that makes pattern_of_constr treat them differently? (cf https://github.com/coq/coq/issues/15520)

Last updated: Feb 05 2023 at 20:03 UTC