coq icon indicating copy to clipboard operation
coq copied to clipboard

Published 20 hours ago • verified publisher icon coq

Add `Ltac2.Constr.Unsafe.liftn`

Open JasonGross opened this issue 3 years ago • 0 comments

  • [ ] Added / updated test-suite. (is this needed here, since we're just exposing unerlying ml primitives?)
  • [x] Added changelog.
  • [ ] Added / updated documentation. (is this needed?)

Is this a candidate for 8.16 (either .0 or .1)?

JasonGross avatar Aug 27 '22 09:08 JasonGross