Update main branch to Idris2 0.7.0 - Githubissues

idris-community / idris2-lsp

Language Server for Idris2

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

164 stars 33 forks source link

Update main branch to Idris2 0.7.0 #209

Closed mattpolzin closed 10 months ago