diff options
author | Drew Olson <drew@drewolson.org> | 2019-06-17 06:54:43 -0500 |
---|---|---|
committer | w0rp <w0rp@users.noreply.github.com> | 2019-06-17 12:54:43 +0100 |
commit | 1c71da5624fc46107cda4852add08fe34385dfd9 (patch) | |
tree | 4dc0c856be3798f7bfe1539fb33a2bea5496fca7 /supported-tools.md | |
parent | 701c1e4f170a665ec2873a828297bb0afad6719b (diff) | |
download | ale-1c71da5624fc46107cda4852add08fe34385dfd9.zip |
Add support for purescript language server (#2572)
* Add support for purescript language server
* Update naming
* Add purescript language server tests
Diffstat (limited to 'supported-tools.md')
-rw-r--r-- | supported-tools.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index e1c6d412..f96f49a3 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -347,6 +347,8 @@ formatting. * [languageserver](https://github.com/lingua-pupuli/puppet-editor-services) * [puppet](https://puppet.com) * [puppet-lint](https://puppet-lint.com) +* PureScript + * [purescript-language-server](https://github.com/nwolverson/purescript-language-server) * Python * [autopep8](https://github.com/hhatto/autopep8) * [bandit](https://github.com/PyCQA/bandit) :warning: |