search

idris-community / idris2-lsp

Language Server for Idris2
BSD 3-Clause "New" or "Revised" License
164 stars 33 forks source link

Update Idris2 #187

Closed michaelmesser closed 10 months ago

mattpolzin commented 10 months ago

This PR has fallen out of date (and or superseded by others that have since been merged).