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.
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 / 動機