idris-community/idris2-lsp

Language Server for Idris2

IdrisStars 183Forks 40Watchers 183Open issues 43License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Owneridris-community

Homepage—

Last pushed2025-09-10

Last updated2025-12-13

Issues fetched at—

Community at a glance