Update dependencies, add Nix dev shell - Githubissues

idris-community / idris2-lsp

Language Server for Idris2

BSD 3-Clause "New" or "Revised" License

164 stars 33 forks source link

Update dependencies, add Nix dev shell #221

Closed mattpolzin closed 4 months ago