idris-community

idris-community/idris2-lsp

Language Server for Idris2

165 stars 0 forks 0 watchers Idris
View on GitHub
0 Open Issues Need Help Last updated: Dec 2, 2024

Open Issues Need Help

View All on GitHub

No open issues

This project doesn't have any open help-wanted issues at the moment.

View Project on GitHub