/ada_language_server

prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK

Primary LanguageAdaGNU General Public License v3.0GPL-3.0

ada_language_server

prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK