Language Server Protocol

[kmyk]

Description / 説明

Rich IDEs (e.g. VS Code) have features to rewrite code, e.g. "insert type annotations here", "moving this local variable to global", etc. I want to make Jikka a plugin of such IDEs and add features like "making this O(N^2) loop to O(N)" to them.

This requires #123 and/or #225

Motivation / 動機

• Rewriting small parts is easier to use results and has more opportunities to use than rewriting entire files.