Stream: MetaCoq

Topic: template-coq/gen-src/cRelationClasses.mli.orig


view this post on Zulip Jason Gross (Nov 25 2022 at 00:44):

Why does template-coq/gen-src/cRelationClasses.mli.orig change when I run make? (See also https://github.com/MetaCoq/metacoq/pull/791)


Last updated: Jan 30 2023 at 17:03 UTC