Code

Add a kludgy implementation of tmTry#876

Code

Open

JasonGross wants to merge 1 commit intoMetaCoq:coq-8.16MetaCoq/metacoq:coq-8.16from JasonGross:coq-8.16+tmTry-hackJasonGross/metacoq:coq-8.16+tmTry-hackCopy head branch name to clipboard

+60

Commits

Commits on Apr 3, 2023

• Add a kludgy implementation of tmTry

  Show description for 2ae2cf0
  JasonGross

  committed
  2ae2cf0

  Copy full SHA for 2ae2cf0