Add Erg Language Server (#318)

langserver · Nov 7, 2023 · 4638be8 · 4638be8
1 parent 4bb71ce
commit 4638be8
Showing 1 changed file with 28 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -961,6 +961,34 @@ <h4>Language servers</h4>
             </ul>
           </td>
         </tr>
+        <tr>
+          <th>Erg</th>
+          <td>
+            <a href="https://github.com/mtshiba">Shunsuke Shibayama</a> and contributors
+          </td>
+          <td class="repo">
+            <a href="https://github.com/erg-lang/erg/tree/main/crates/els">github.com/erg-lang/erg/tree/main/crates/els</a>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td></td>
+        </tr>
         <tr>
           <th>Erlang</th>
           <td>