Skip to content

Latest commit

 

History

History
17 lines (16 loc) · 536 Bytes

README.md

File metadata and controls

17 lines (16 loc) · 536 Bytes

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:
    • syntax colorization
    • references support:
      • support for workspace jape pipeline
      • symbols list
      • goto macro definition
      • goto annotation definition
    • suggestions:
      • alias name suggestions
    • diagnostics:
      • syntax error
      • reference error reportings