nodePackages.purescript-language-server: init at 0.12.9#91438
Merged
NickHu merged 1 commit intoNixOS:masterfrom Jun 28, 2020
Merged
nodePackages.purescript-language-server: init at 0.12.9#91438NickHu merged 1 commit intoNixOS:masterfrom
NickHu merged 1 commit intoNixOS:masterfrom