Theia-extension Packages

theia-julia-extension

An extension for the [Theia-IDE](https://github.com/theia-ide/theia) to support the [Julia Language](https://github.com/JuliaLang/julia), using the [Julia Language Server](https://github.com/JuliaEditorSupport/LanguageServer.jl).

0.0.2 • Published 7 years ago