Code

Fix opacity issues in EqDec term#1125

Code

Open

yforster wants to merge 1 commit intoMetaCoq:coq-8.20MetaCoq/metacoq:coq-8.20from yforster:fix-eqdec-opacityyforster/template-coq:fix-eqdec-opacityCopy head branch name to clipboard

+93-89

Commits

Commits on Nov 26, 2024

• Fix opacity issues in EqDec term

  yforster

  committed
  80b23c9