polarity-lang · timsueberkrueb · Mar 1, 2024 · Mar 1, 2024
diff --git a/.github/workflows/vscode-plugin.yml b/.github/workflows/vscode-plugin.yml
diff --git a/Makefile b/Makefile
@@ -2,10 +2,6 @@
 install:
 	@cargo install --path app
 
-.PHONY: install-editor-plugin
-install-editor-plugin:
-	@./scripts/install_vscode.sh
-
 .PHONY: check
 check: lint test
 

diff --git a/README.md b/README.md
@@ -1,6 +1,7 @@
-# Xfunc Implementation
+# Polarity
 
-Extending De-/Refunctionalization to Dependent Types
+A programming language with dependent data and codata types.
+Installation instructions and the language documentation is available at [polarity-lang.github.io](https://polarity-lang.github.io/).
 
 ## Requirements
 
@@ -16,8 +17,6 @@ make install
 
 By default, it gets installed to `~/.cargo/bin/xfunc`.
 
-Optionally, if you have `npm` and VSCode installed, this will also build and install the VSCode extension.
-
 ## Quickstart
 
 From the root of this repository, run:
@@ -49,8 +48,6 @@ xfunc --help
 ```text
 ├── app                     CLI application
 ├── examples                Example code in the object language
-├── ext/vim/syntax          vim source code highlighting
-├── ext/vscode              VSCode extension
 ├── lang                    Language implementation
 │   ├── lifting             Lift local (co)matches to top-level definitions
 │   ├── lowering            Lowering concrete to (untyped) abstract syntax tree

diff --git a/ext/vim/syntax/xfunc.vim b/ext/vim/syntax/xfunc.vim
diff --git a/ext/vscode/.gitignore b/ext/vscode/.gitignore
diff --git a/ext/vscode/.vscode/launch.json b/ext/vscode/.vscode/launch.json
diff --git a/ext/vscode/.vscodeignore b/ext/vscode/.vscodeignore
diff --git a/ext/vscode/LICENSE b/ext/vscode/LICENSE
diff --git a/ext/vscode/README.md b/ext/vscode/README.md
diff --git a/ext/vscode/language-configuration.json b/ext/vscode/language-configuration.json