Stream: MetaCoq

Topic: Merging PRs


view this post on Zulip Jason Gross (Dec 06 2022 at 23:07):

I think https://github.com/MetaCoq/metacoq/pull/790 and https://github.com/MetaCoq/metacoq/pull/789 are ready for merge

view this post on Zulip Jason Gross (Dec 07 2022 at 04:12):

(Also interested in feedback / what needs to be done to merge https://github.com/MetaCoq/metacoq/pull/792)

view this post on Zulip Jason Gross (Dec 08 2022 at 09:31):

More PRs for review: https://github.com/MetaCoq/metacoq/pull/802 and https://github.com/MetaCoq/metacoq/pull/803 are relatively minor PRs adding some utility lemmas that I use in making normalization into a typeclass


Last updated: Feb 04 2023 at 03:30 UTC