more updates

This commit is contained in:
gwg313 2024-12-02 17:50:11 -05:00
parent ce01469113
commit c91faa5aaf
Signed by: gwg313
GPG key ID: 60FF63B4826B7400
7 changed files with 369 additions and 666 deletions

View file

@ -73,6 +73,8 @@
pyright.enable = true;
hls.enable = true;
gopls.enable = true;
hls.installGhc = true;
leanls.enable = true;
texlab.enable = true;
html.enable = true;