Skip to content

Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints#975

Merged
tabareau merged 1 commit intoMetaCoq:mainfrom herbelin:master+adapt-coq-pr17991-refolding-by-simpl-of-fixpoint-partial-applicationAug 31, 2023
+4-3

Commits

Commits on Aug 31, 2023