refactor: remove lsp and vscode

.github/ISSUE_TEMPLATE/bug-report.yml

@@ -19,7 +19,7 @@ body:
     attributes:
       label: "Project"
       description: "Which subproject or area"
-      placeholder: "core | compiler | vscode | book | tests | other"
+      placeholder: "core | compiler | book | tests | other"
     validations:
       required: true
   - type: textarea

.github/ISSUE_TEMPLATE/feature-request.yml

@@ -9,7 +9,7 @@ body:
     attributes:
       label: "Project"
       description: "Which subproject or area"
-      placeholder: "core | compiler | vscode | book | tests | other"
+      placeholder: "core | compiler | book | tests | other"
     validations:
       required: true
   - type: textarea

.gitignore

@@ -13,17 +13,8 @@ target/
 .idea
 *.iml
 
-# Vscode project files
-.vscode
-
 # mdbook HTML output dir
 book/book/
 
-# Node.js modules
-node_modules/
-
-# VSCode extension package
-*.vsix
-
 # macOS
 .DS_Store

CONTRIBUTING.md

@@ -9,10 +9,10 @@ check out the following resources:
 * Our in-browser playground: https://ide.simplicity-lang.org/
 
 This project defines and implements the SimplicityHL language, and provides
-a compiler binary and language server protocol (LSP) implementation. We
-welcome contributions across a wide spectrum of tasks. For example,
+a compiler binary. We welcome contributions across a wide spectrum of tasks.
+For example,
 
-* Improving tooling: compiler command-line interface or LSP
+* Improving tooling: compiler command-line interface
 * Documentation: this repository can always use more documentation; for
   documentation about Simplicity and SimplicityHL it may make more sense
   to contribute to https://github.com/BlockstreamResearch/simplicity-lang-org/

Cargo.toml

@@ -49,7 +49,7 @@ getrandom = { version = "0.2", features = ["js"] }
 
 [workspace]
 members = ["codegen", "fuzz"]
-exclude = ["bitcoind-tests", "lsp"]
+exclude = ["bitcoind-tests"]
 
 [workspace.metadata.rbmt.toolchains]
 nightly = "nightly-2025-08-23"

README.md

@@ -71,6 +71,9 @@ Produce JSON output with the `--json` flag.
 ./target/debug/simc examples/p2pkh.simf -w examples/p2pkh.wit --json
 ```
 
-### VSCode extension
+### Editor tooling
 
-See the installation [instructions](./vscode/README.md).
+The language server and VS Code extension are maintained in separate repositories:
+
+* [simplicityhl-lsp](https://github.com/BlockstreamResearch/simplicityhl-lsp)
+* [simplicityhl-vscode](https://github.com/BlockstreamResearch/simplicityhl-vscode)