There's any Idris LSP for VIM ?

• idris2-vim

  1 72 0.0 Vim Script

  Vim mode for Idris 2

Idris2: https://github.com/edwinb/idris2-vim

• idris-vim

  1 223 0.0 Vim Script

  Idris mode for vim

  

Idris1: https://github.com/idris-hackers/idris-vim

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• idris2-lsp

  1 154 6.1 Idris

  Language Server for Idris2

  

Suggest a related project