mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-28 09:54:33 +00:00
acc9648753
Some checks are pending
CI / Check formatting and spelling (push) Waiting to run
CI / (macOS) Run Clippy and tests (push) Waiting to run
CI / (Linux) Run Clippy and tests (push) Waiting to run
CI / (Windows) Run Clippy and tests (push) Waiting to run
CI / Create a macOS bundle (push) Blocked by required conditions
CI / Create a Linux bundle (push) Blocked by required conditions
CI / Create arm64 Linux bundle (push) Blocked by required conditions
Deploy Docs / Deploy Docs (push) Waiting to run
I updated my Github username, and some bot is now parked at the old username. I figured I should open a PR to update this. Referring to the PRs (which show _this_ updated username): https://github.com/zed-industries/zed/pull/6786, https://github.com/zed-industries/zed/pull/6995, https://github.com/zed-industries/zed/pull/7331. Release Notes: - N/A
18 lines
477 B
TOML
18 lines
477 B
TOML
id = "haskell"
|
|
name = "Haskell"
|
|
description = "Haskell support."
|
|
version = "0.1.0"
|
|
schema_version = 1
|
|
authors = [
|
|
"Pocæus <github@pocaeus.com>",
|
|
"Lei <45155667+leifu1128@users.noreply.github.com>"
|
|
]
|
|
repository = "https://github.com/zed-industries/zed"
|
|
|
|
[language_servers.hls]
|
|
name = "Haskell Language Server"
|
|
language = "Haskell"
|
|
|
|
[grammars.haskell]
|
|
repository = "https://github.com/tree-sitter/tree-sitter-haskell"
|
|
commit = "8a99848fc734f9c4ea523b3f2a07df133cbbcec2"
|