Collect stuff

.gitignore

@@ -3,19 +3,5 @@
 debug/
 target/
 
-# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
-# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
-Cargo.lock
-
 # These are backup files generated by rustfmt
 **/*.rs.bk
-
-# MSVC Windows builds of rustc generate these, which store debugging information
-*.pdb
-
-# RustRover
-#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
-#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
-#  and can be added to the global gitignore or merged into this file.  For a more nuclear
-#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
-#.idea/

Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "zed-lean4"
+version = "0.1.0"
+edition = "2021"
+
+[lib]
+crate-type = ["cdylib"]
+
+[dependencies]
+zed_extension_api = "^0.2"

README.md

@@ -1 +1,4 @@
-# zed-lean4
+# zed-lean4
+
+- [Language Extensions](https://zed.dev/docs/extensions/languages.html)
+- [Zed Extension API](https://docs.rs/zed_extension_api/latest/zed_extension_api/)

extension.toml

@@ -0,0 +1,7 @@
+[grammars.lean4]
+repository = "https://github.com/Julian/tree-sitter-lean"
+commit = "1d230008e22b9f506cf4a4012e2b46debfe30243"
+
+[language_servers.my-language]
+name = "Lean4 LSP"
+language = "Lean4"

languages/lean4/config.toml

@@ -0,0 +1,4 @@
+name = "Lean4"
+grammar = "lean4"
+path_suffixes = ["lean4"]
+line_comments = ["-- "]