aboutsummaryrefslogtreecommitdiff
path: root/lang/cairo-language-server/pkg-descr
blob: 0f9fe8fcd41fefe08ba7131d67b9ff0307b24f72 (plain) (blame)
1
2
3
4
5
CairoLS is an implementation of Language Server Protocol(LSP) for the Cairo
language.

Cairo is the first Turing-complete language for creating provable programs
for general computation.