Infer integrated into multiple IDEs and Editors
Abierto
pinned
- Lenguaje dominante
- OCaml
- Estrellas
- 15.7k
- Forks
- 2.1k
- Merge medio
- 19 h 36 min
- PR fusionados (30 d)
- 13
Descripción
Hi everyone,
I made InferIDE which integrates infer into different IDEs and editors.
https://github.com/MagpieBridge/InferIDE
You are welcome to use it.
cheers!
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.