gate-plugin

Add gate development support to your favorite editor (VS Code only at this time)

Roadmap:

• [ ] jape file parsing (single/multi phase, only lhs)
• [ ] vscode specific:
  • [x] syntax colorization
  • [ ] references support:
    • [ ] support for workspace jape pipeline
    • [x] symbols list
    • [x] goto macro definition
    • [ ] goto annotation definition
  • [ ] suggestions:
    • [x] alias name suggestions
  • [ ] diagnostics:
    • [ ] syntax error
    • [ ] reference error reportings