language server

[William Rusnack]

Did you consider a language server? It seems like language servers are a major advantage that new development environments can utilize now.

[Nathan Faubion]

Thank you for the interest. I think that developer tools are a large enough topic on their own, and that does not align with the pedagogical goals of this project. That's something that should likely live in another repo.