added Lambdapi entension

EclipseFdn · Dec 10, 2024 · 3ca9ff4 · 3ca9ff4
1 parent 86a1fec
commit 3ca9ff4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/extensions.json b/extensions.json
@@ -224,6 +224,10 @@
   "dcasella.monokai-plusplus": {
     "repository": "https://github.com/dcasella/monokai-plusplus"
   },
+  "deducteam.lambdapi": {
+    "repository": "https://github.com/Deducteam/lambdapi",
+    "custom": ["make build-vscode-extension"]
+  },
   "deerawan.vscode-faker": {
     "repository": "https://github.com/deerawan/vscode-faker"
   },