Code

Drop dep#3

Code

Merged

gares merged 3 commits intomasterLPCIC/coq-elpi-lang:masterfrom drop-depLPCIC/coq-elpi-lang:drop-depCopy head branch name to clipboardNov 3, 2023

+90-3

Commits

Commits on Oct 31, 2023

• drop dep on vscoq

  gares

  committed
  ac7b053

• ci

  gares

  committed
  e884455

Commits on Nov 2, 2023

• Update package.json

  gares

  authored
  37fca75