This extension provides syntax highlighting for the PQ language.
This extensions provides very basic syntax highlighting for
- Line and block comments
- Types
- Primitive operators (e.g. lift, force, ...)
- Control structures (e.g. let-in, fold, ...)
| Without highlighting | With highlighting |
|---|---|
 |
 |
Rebranded the language as PQ and added support for new syntax:
- Top-level declarations
- Local metric annotations
Initial release