Code

coq export: treat P_NLit as P_Iden#1015

Code

Merged

fblanqui merged 1 commit intoDeducteam:masterDeducteam/lambdapi:masterfrom fblanqui:coqfblanqui/lambdapi:coqCopy head branch name to clipboardOct 25, 2023

+10-4

Commits

Commits on Oct 25, 2023

• coq export: treat P_NLit as P_Iden

  fblanqui

  committed
  d5cd4b4