Giters

raph-amiard / ada_language_server

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ada_language_server

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

About

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

License:GNU General Public License v3.0

Languages

Language:Ada 99.5%Language:Dockerfile 0.2%Language:Makefile 0.2%Language:Shell 0.1%