Code

[derive] Open scope only locally#647

Code

Merged

gares merged 1 commit intoLPCIC:masterLPCIC/coq-elpi:masterfrom eponier:local-scopeeponier/coq-elpi:local-scopeCopy head branch name to clipboardJul 2, 2024

+1-1

Commits

Commits on Jul 2, 2024

• [derive] Open scope only locally

  eponier

  committed
  934694f

  Copy full SHA for 934694f